{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":97922418,"defaultBranch":"master","name":"mathlib","ownerLogin":"leanprover-community","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2017-07-21T08:02:10.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/41703605?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1713618809.0","currentOid":""},"activityList":{"items":[{"before":"64d3c00834e0c0364814b656ddceb77f04e5bd9d","after":null,"ref":"refs/heads/perm_pow_iterate","pushedAt":"2024-04-20T13:13:29.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"YaelDillies","name":"Yaël Dillies","path":"/YaelDillies","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14090593?s=80&v=4"}},{"before":"9c0bf198338344a3bf485f2f075b8f1e0763619e","after":null,"ref":"refs/heads/FR_order_refactor18","pushedAt":"2024-03-24T08:40:03.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"YaelDillies","name":"Yaël Dillies","path":"/YaelDillies","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14090593?s=80&v=4"}},{"before":"646cd3b4070e79ed4026cfc4e7ad7ec9a7e012da","after":null,"ref":"refs/heads/tprod","pushedAt":"2024-03-23T21:41:19.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"YaelDillies","name":"Yaël Dillies","path":"/YaelDillies","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14090593?s=80&v=4"}},{"before":"dc4b06518a53af00712e746af2050642bc69197b","after":null,"ref":"refs/heads/golf_haar_lebesgue","pushedAt":"2024-03-23T18:14:14.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"YaelDillies","name":"Yaël Dillies","path":"/YaelDillies","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14090593?s=80&v=4"}},{"before":"e36c5efb39d5cc075a08db9af2377fccbd13f4aa","after":null,"ref":"refs/heads/delete_edges_sdiff","pushedAt":"2024-03-23T17:40:17.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"YaelDillies","name":"Yaël Dillies","path":"/YaelDillies","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14090593?s=80&v=4"}},{"before":"01cac5e5939f3ad6f78bfc144e8f1f7c9d10753f","after":null,"ref":"refs/heads/set_split","pushedAt":"2024-03-23T15:35:06.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"YaelDillies","name":"Yaël Dillies","path":"/YaelDillies","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14090593?s=80&v=4"}},{"before":"f9f19ebc23891c4c7c737a3ff15657c4ceba4f8f","after":null,"ref":"refs/heads/zsmul_nsmul_rec","pushedAt":"2024-03-23T15:34:01.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"YaelDillies","name":"Yaël Dillies","path":"/YaelDillies","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14090593?s=80&v=4"}},{"before":"6c99aafc49092d7270507c05ff5a56726d89a81a","after":null,"ref":"refs/heads/move_topology_order","pushedAt":"2024-03-23T15:15:40.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"YaelDillies","name":"Yaël Dillies","path":"/YaelDillies","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14090593?s=80&v=4"}},{"before":"5871226cd3889a1811d6d7824641544de4a4a0d9","after":null,"ref":"refs/heads/logic-equiv-set-to-data-set-basic","pushedAt":"2024-03-22T22:19:12.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Ruben-VandeVelde","name":"Ruben Van de Velde","path":"/Ruben-VandeVelde","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/65514131?s=80&v=4"}},{"before":"3536a821fd558c47a60fb5182fe0bd75411380a8","after":null,"ref":"refs/heads/group_theory.submonoid.membership","pushedAt":"2024-03-22T22:18:31.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Ruben-VandeVelde","name":"Ruben Van de Velde","path":"/Ruben-VandeVelde","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/65514131?s=80&v=4"}},{"before":"2e135f237ab9c49561383dcc3e9b8d9cae247ec6","after":null,"ref":"refs/heads/split-split","pushedAt":"2024-03-22T22:17:52.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Ruben-VandeVelde","name":"Ruben Van de Velde","path":"/Ruben-VandeVelde","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/65514131?s=80&v=4"}},{"before":"43af07c7896c0fc400909bd6be36f5bad1d54991","after":null,"ref":"refs/heads/norm-gcd-monoid-associates","pushedAt":"2024-03-22T22:17:25.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Ruben-VandeVelde","name":"Ruben Van de Velde","path":"/Ruben-VandeVelde","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/65514131?s=80&v=4"}},{"before":"ecb869db21bfb2f30e549b8eb9ccad14c857e389","after":null,"ref":"refs/heads/nnrat_cast","pushedAt":"2024-03-08T15:11:07.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"YaelDillies","name":"Yaël Dillies","path":"/YaelDillies","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14090593?s=80&v=4"}},{"before":"7a57a65ceb036d39a2020c9740791ad1733c0fab","after":null,"ref":"refs/heads/YK-countable-set","pushedAt":"2024-02-12T01:18:19.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"urkud","name":"Yury G. Kudryashov","path":"/urkud","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/188813?s=80&v=4"}},{"before":"df1d6299334b16e1e825cd5a0f350790468ddd25","after":"bd2953610ad34adb6ec2779fab10a605bf95f120","ref":"refs/heads/YK-card-fiber-eq","pushedAt":"2024-02-11T05:58:10.000Z","pushType":"push","commitsCount":1508,"pusher":{"login":"urkud","name":"Yury G. Kudryashov","path":"/urkud","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/188813?s=80&v=4"},"commit":{"message":"Merge master into YK-card-fiber-eq (using imerge)","shortMessageHtmlLink":"Merge master into YK-card-fiber-eq (using imerge)"}},{"before":"74ca892bb7dc14bb8b96da73273fd23cb51a731c","after":null,"ref":"refs/heads/shuffle_nnrat","pushedAt":"2024-02-09T22:23:09.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"YaelDillies","name":"Yaël Dillies","path":"/YaelDillies","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14090593?s=80&v=4"}},{"before":"bf8f75b3f6ac206385518dc03203477f1e7fa3e2","after":null,"ref":"refs/heads/YK-std-simpl","pushedAt":"2024-02-07T06:41:27.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"urkud","name":"Yury G. Kudryashov","path":"/urkud","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/188813?s=80&v=4"}},{"before":"cb046b778b37556a4d1bfbc5226510da81708ade","after":null,"ref":"refs/heads/various-golf","pushedAt":"2024-01-23T15:23:29.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"urkud","name":"Yury G. Kudryashov","path":"/urkud","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/188813?s=80&v=4"}},{"before":"fdf3d41e6bbccb2ad9c0151cc5835a6d9443b339","after":null,"ref":"refs/heads/singleton_mul","pushedAt":"2024-01-11T10:32:48.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"YaelDillies","name":"Yaël Dillies","path":"/YaelDillies","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14090593?s=80&v=4"}},{"before":"47fe035bb25bf125963dd174bc7c2b4779d9048c","after":null,"ref":"refs/heads/eric-wieser/finsupp-computable-single-only","pushedAt":"2024-01-11T10:32:39.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"YaelDillies","name":"Yaël Dillies","path":"/YaelDillies","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14090593?s=80&v=4"}},{"before":"5d30482a06bcd5b7616dc51bb3efddfaec1c4f48","after":null,"ref":"refs/heads/eric-wieser/finsupp-single-lemmas","pushedAt":"2024-01-11T10:32:14.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"YaelDillies","name":"Yaël Dillies","path":"/YaelDillies","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14090593?s=80&v=4"}},{"before":"c300e9709f120f136262d7009cbcb90d9c9bc5ac","after":null,"ref":"refs/heads/perm.coe_subsingleton","pushedAt":"2024-01-11T10:31:33.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"YaelDillies","name":"Yaël Dillies","path":"/YaelDillies","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14090593?s=80&v=4"}},{"before":"17bc5cdd0b9a2e3b029b9453f0f911e84cc11be6","after":null,"ref":"refs/heads/image_maximals","pushedAt":"2023-12-31T07:05:30.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"YaelDillies","name":"Yaël Dillies","path":"/YaelDillies","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14090593?s=80&v=4"}},{"before":"edf12c38240adee6c2e68dbd7a42de646fd6863c","after":null,"ref":"refs/heads/MultilinearMapContDiff","pushedAt":"2023-12-20T09:19:57.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"smorel394","name":null,"path":"/smorel394","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/67864981?s=80&v=4"}},{"before":"e3fc648f10eee332c065dd889cc1a96f8ae05a23","after":"edf12c38240adee6c2e68dbd7a42de646fd6863c","ref":"refs/heads/MultilinearMapContDiff","pushedAt":"2023-12-20T08:51:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"smorel394","name":null,"path":"/smorel394","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/67864981?s=80&v=4"},"commit":{"message":"higher derivatives of a mutlilinear map","shortMessageHtmlLink":"higher derivatives of a mutlilinear map"}},{"before":null,"after":"e3fc648f10eee332c065dd889cc1a96f8ae05a23","ref":"refs/heads/MultilinearMapContDiff","pushedAt":"2023-12-20T00:30:22.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"smorel394","name":null,"path":"/smorel394","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/67864981?s=80&v=4"},"commit":{"message":"Merge remote-tracking branch 'origin/master' into MultilinearMapContDiff","shortMessageHtmlLink":"Merge remote-tracking branch 'origin/master' into MultilinearMapContDiff"}},{"before":"beadee1cbaf3115003ea63cd3f3a6c29efa7cbdc","after":null,"ref":"refs/heads/triangle_counting","pushedAt":"2023-12-08T11:19:34.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"YaelDillies","name":"Yaël Dillies","path":"/YaelDillies","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14090593?s=80&v=4"}},{"before":"77b10677513ca0636e8c850533f9b440e4a8ddb3","after":null,"ref":"refs/heads/multiset_finset_cleanup","pushedAt":"2023-12-08T09:32:36.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"YaelDillies","name":"Yaël Dillies","path":"/YaelDillies","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14090593?s=80&v=4"}},{"before":"2fd63fb8ba3324861212d331bc9d76d86333e212","after":null,"ref":"refs/heads/is_atom_set","pushedAt":"2023-12-08T09:03:42.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"YaelDillies","name":"Yaël Dillies","path":"/YaelDillies","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14090593?s=80&v=4"}},{"before":"d456a424bf263526c16152ae6a1f4247e3ee6d07","after":null,"ref":"refs/heads/matrix_lie_group","pushedAt":"2023-11-29T08:28:04.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"YaelDillies","name":"Yaël Dillies","path":"/YaelDillies","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14090593?s=80&v=4"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAENdfYuwA","startCursor":null,"endCursor":null}},"title":"Activity · leanprover-community/mathlib"}