{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":67621744,"defaultBranch":"hierarchy-builder","name":"math-comp","ownerLogin":"gares","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2016-09-07T15:51:48.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/1013846?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1708444174.0","currentOid":""},"activityList":{"items":[{"before":null,"after":"775d6e5e7ec7799ff2867e859964bfd2dbd052ae","ref":"refs/heads/finmap-elpi","pushedAt":"2024-02-20T15:49:34.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"gares","name":"Enrico Tassi","path":"/gares","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1013846?s=80&v=4"},"commit":{"message":"wip","shortMessageHtmlLink":"wip"}},{"before":null,"after":"aaa280df7990592a988d04133d65d757f3800551","ref":"refs/heads/revert-hack-have","pushedAt":"2024-01-16T14:19:40.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"gares","name":"Enrico Tassi","path":"/gares","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1013846?s=80&v=4"},"commit":{"message":"revert hack","shortMessageHtmlLink":"revert hack"}},{"before":null,"after":"ac354f49c6079d40225ea149b1cd143ef8440cc8","ref":"refs/heads/finmap","pushedAt":"2023-12-14T20:02:26.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"gares","name":"Enrico Tassi","path":"/gares","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1013846?s=80&v=4"},"commit":{"message":"it now diverges, I guess we lack a hack to make CS work","shortMessageHtmlLink":"it now diverges, I guess we lack a hack to make CS work"}},{"before":"9cedbe66ba9fea5e67707e8872da9ad2fc4ac593","after":null,"ref":"refs/heads/fix-fieldext-exlpi-next","pushedAt":"2023-07-11T11:24:24.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"gares","name":"Enrico Tassi","path":"/gares","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1013846?s=80&v=4"}},{"before":"91d4ad31a210893b875ea2b844058b7e74d956d9","after":"9cedbe66ba9fea5e67707e8872da9ad2fc4ac593","ref":"refs/heads/fix-fieldext-exlpi-next","pushedAt":"2023-07-11T11:17:19.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"morphisms: use richer types in combination with HB.pack","shortMessageHtmlLink":"morphisms: use richer types in combination with HB.pack"}},{"before":null,"after":"91d4ad31a210893b875ea2b844058b7e74d956d9","ref":"refs/heads/fix-fieldext-exlpi-next","pushedAt":"2023-07-11T09:20:16.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"gares","name":"Enrico Tassi","path":"/gares","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1013846?s=80&v=4"},"commit":{"message":"morphisms: use richer types in combination with HB.pack","shortMessageHtmlLink":"morphisms: use richer types in combination with HB.pack"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wMi0yMFQxNTo0OTozNC4wMDAwMDBazwAAAAP_3gmc","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0wNy0xMVQwOToyMDoxNi4wMDAwMDBazwAAAANS-Vbm"}},"title":"Activity · gares/math-comp"}