{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":584112797,"defaultBranch":"master","name":"Abel","ownerLogin":"Tragicus","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2023-01-01T12:25:11.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/96025499?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1724066388.0","currentOid":""},"activityList":{"items":[{"before":"bb7eaa61f343e093413b261b95132c2997e4c052","after":"ed0e9311e5cab3a983f9c82a3883d955ccdb38f7","ref":"refs/heads/pr1256","pushedAt":"2024-08-19T11:36:55.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Tragicus","name":"Quentin VERMANDE","path":"/Tragicus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/96025499?s=80&v=4"},"commit":{"message":"adapt to MC#1256","shortMessageHtmlLink":"adapt to MC#1256"}},{"before":null,"after":"bb7eaa61f343e093413b261b95132c2997e4c052","ref":"refs/heads/pr1256","pushedAt":"2024-08-19T11:19:48.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Tragicus","name":"Quentin VERMANDE","path":"/Tragicus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/96025499?s=80&v=4"},"commit":{"message":"adapt to MC#1256","shortMessageHtmlLink":"adapt to MC#1256"}},{"before":"610187ed262efdc6c23d5915bb567a7e6e17adab","after":"e2a23b00077cb41a74df426b7375e9f8742dbc35","ref":"refs/heads/pr1169","pushedAt":"2024-08-13T08:53:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Tragicus","name":"Quentin VERMANDE","path":"/Tragicus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/96025499?s=80&v=4"},"commit":{"message":"update CI","shortMessageHtmlLink":"update CI"}},{"before":null,"after":"610187ed262efdc6c23d5915bb567a7e6e17adab","ref":"refs/heads/pr1169","pushedAt":"2024-08-06T11:49:51.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Tragicus","name":"Quentin VERMANDE","path":"/Tragicus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/96025499?s=80&v=4"},"commit":{"message":"define order on algR via copy","shortMessageHtmlLink":"define order on algR via copy"}},{"before":null,"after":"d7494cbcd289ee4720a08f26569c1ace273fff0a","ref":"refs/heads/backport-algR","pushedAt":"2024-03-29T15:45:45.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Tragicus","name":"Quentin VERMANDE","path":"/Tragicus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/96025499?s=80&v=4"},"commit":{"message":"remove algR","shortMessageHtmlLink":"remove algR"}},{"before":"a048ec819036d5104ac98279d8b838005bb3d42c","after":"805d92784b88848e7f62502849b59a1d3bbb7906","ref":"refs/heads/backport-solvable","pushedAt":"2024-03-29T15:04:15.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Tragicus","name":"Quentin VERMANDE","path":"/Tragicus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/96025499?s=80&v=4"},"commit":{"message":"remove backported lemmas to solvable","shortMessageHtmlLink":"remove backported lemmas to solvable"}},{"before":"f9a896895f28c2b4f376d0b2c4d4a32c0946e8be","after":"9c6f54eba5753638b9d8022622b823502cf83434","ref":"refs/heads/backport-poly","pushedAt":"2024-03-29T15:03:16.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Tragicus","name":"Quentin VERMANDE","path":"/Tragicus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/96025499?s=80&v=4"},"commit":{"message":"backport ssralg and poly","shortMessageHtmlLink":"backport ssralg and poly"}},{"before":"80b9812920299c47bf08ed2d9196b4e3a5bcbcd1","after":"b05880e083ccf3b9adeb2d8c6afbe085502e7b1e","ref":"refs/heads/backport-ssreflect","pushedAt":"2024-03-29T15:03:07.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Tragicus","name":"Quentin VERMANDE","path":"/Tragicus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/96025499?s=80&v=4"},"commit":{"message":"remove backported lemmas to ssreflect","shortMessageHtmlLink":"remove backported lemmas to ssreflect"}},{"before":"12c8d85d59d1d2878b66292377e04f86dc3bbf24","after":"cf93b6b7c6d42df6b794e31297e3bedf759e1f06","ref":"refs/heads/backport-fingroup","pushedAt":"2024-03-29T15:02:58.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Tragicus","name":"Quentin VERMANDE","path":"/Tragicus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/96025499?s=80&v=4"},"commit":{"message":"remove backported lemmas to fingroup","shortMessageHtmlLink":"remove backported lemmas to fingroup"}},{"before":"0d65f1b3c2747e2bd46232e32aa51a6e97df5800","after":"28a26e79bcdc7abec01a4ac4c1922798abf0f24a","ref":"refs/heads/backport-algebra","pushedAt":"2024-03-29T14:58:46.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Tragicus","name":"Quentin VERMANDE","path":"/Tragicus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/96025499?s=80&v=4"},"commit":{"message":"second half of algebra backports","shortMessageHtmlLink":"second half of algebra backports"}},{"before":null,"after":"a048ec819036d5104ac98279d8b838005bb3d42c","ref":"refs/heads/backport-solvable","pushedAt":"2024-03-29T14:19:33.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Tragicus","name":"Quentin VERMANDE","path":"/Tragicus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/96025499?s=80&v=4"},"commit":{"message":"remove backported lemmas to solvable","shortMessageHtmlLink":"remove backported lemmas to solvable"}},{"before":null,"after":"12c8d85d59d1d2878b66292377e04f86dc3bbf24","ref":"refs/heads/backport-fingroup","pushedAt":"2024-03-28T17:19:37.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Tragicus","name":"Quentin VERMANDE","path":"/Tragicus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/96025499?s=80&v=4"},"commit":{"message":"remove backported lemmas to fingroup","shortMessageHtmlLink":"remove backported lemmas to fingroup"}},{"before":null,"after":"0d65f1b3c2747e2bd46232e32aa51a6e97df5800","ref":"refs/heads/backport-algebra","pushedAt":"2024-03-28T15:59:03.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Tragicus","name":"Quentin VERMANDE","path":"/Tragicus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/96025499?s=80&v=4"},"commit":{"message":"second half of algebra backports","shortMessageHtmlLink":"second half of algebra backports"}},{"before":null,"after":"f9a896895f28c2b4f376d0b2c4d4a32c0946e8be","ref":"refs/heads/backport-poly","pushedAt":"2024-03-22T09:49:09.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Tragicus","name":"Quentin VERMANDE","path":"/Tragicus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/96025499?s=80&v=4"},"commit":{"message":"backport ssralg and poly","shortMessageHtmlLink":"backport ssralg and poly"}},{"before":"f9a896895f28c2b4f376d0b2c4d4a32c0946e8be","after":"80b9812920299c47bf08ed2d9196b4e3a5bcbcd1","ref":"refs/heads/backport-ssreflect","pushedAt":"2024-03-22T09:48:49.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Tragicus","name":"Quentin VERMANDE","path":"/Tragicus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/96025499?s=80&v=4"},"commit":{"message":"remove backported lemmas to ssreflect","shortMessageHtmlLink":"remove backported lemmas to ssreflect"}},{"before":"80b9812920299c47bf08ed2d9196b4e3a5bcbcd1","after":"f9a896895f28c2b4f376d0b2c4d4a32c0946e8be","ref":"refs/heads/backport-ssreflect","pushedAt":"2024-03-22T09:48:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Tragicus","name":"Quentin VERMANDE","path":"/Tragicus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/96025499?s=80&v=4"},"commit":{"message":"backport ssralg and poly","shortMessageHtmlLink":"backport ssralg and poly"}},{"before":"56cbd91bfe9ea027423a4105dfdc8d58af9d939a","after":"80b9812920299c47bf08ed2d9196b4e3a5bcbcd1","ref":"refs/heads/backport-ssreflect","pushedAt":"2024-03-22T07:51:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Tragicus","name":"Quentin VERMANDE","path":"/Tragicus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/96025499?s=80&v=4"},"commit":{"message":"remove backported lemmas to ssreflect","shortMessageHtmlLink":"remove backported lemmas to ssreflect"}},{"before":null,"after":"56cbd91bfe9ea027423a4105dfdc8d58af9d939a","ref":"refs/heads/backport-ssreflect","pushedAt":"2024-03-22T07:50:35.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Tragicus","name":"Quentin VERMANDE","path":"/Tragicus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/96025499?s=80&v=4"},"commit":{"message":"Merge pull request #81 from SnarkBoojum/adapt_MC_PR_923\n\nAdapt to hornerE respecting exponents - math-comp's PR #923","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1371558051\" data-permission-text=\"Title is private\" data-url=\"https://github.com/math-comp/Abel/issues/81\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/math-comp/Abel/pull/81/hovercard\" href=\"https://github.com/math-comp/Abel/pull/81\">math-comp#81</a> from SnarkBoojum/adapt_MC_PR_923"}},{"before":"e632d24fdf326af63c5f05943262e6ebc6a39470","after":"51af6b809b43843d3bb14ac1bf8aabcedd91d3d3","ref":"refs/heads/AG","pushedAt":"2023-07-25T21:29:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Tragicus","name":"Quentin VERMANDE","path":"/Tragicus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/96025499?s=80&v=4"},"commit":{"message":"shortens a few lines and puts lemmas away","shortMessageHtmlLink":"shortens a few lines and puts lemmas away"}},{"before":"7dff68d18f2c9d0d173df8189e43cdfc20155f65","after":"e632d24fdf326af63c5f05943262e6ebc6a39470","ref":"refs/heads/AG","pushedAt":"2023-07-25T17:18:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"CohenCyril","name":"Cyril Cohen","path":"/CohenCyril","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/298705?s=80&v=4"},"commit":{"message":"refactoring","shortMessageHtmlLink":"refactoring"}},{"before":"49fd41e2e2ac52ad5d40e16820803d625cedcd32","after":"7dff68d18f2c9d0d173df8189e43cdfc20155f65","ref":"refs/heads/AG","pushedAt":"2023-07-25T11:13:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Tragicus","name":"Quentin VERMANDE","path":"/Tragicus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/96025499?s=80&v=4"},"commit":{"message":"remove duplicate in map_gal; remove temp","shortMessageHtmlLink":"remove duplicate in map_gal; remove temp"}},{"before":"d46aeddfc2dafea815de883f64eb432385761fb0","after":"49fd41e2e2ac52ad5d40e16820803d625cedcd32","ref":"refs/heads/AG","pushedAt":"2023-07-21T16:41:22.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"Tragicus","name":"Quentin VERMANDE","path":"/Tragicus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/96025499?s=80&v=4"},"commit":{"message":"Merge branch 'AG' of github.com:Tragicus/Abel into AG","shortMessageHtmlLink":"Merge branch 'AG' of github.com:Tragicus/Abel into AG"}},{"before":"9a91e8af55beb40655d5e5891bada95803d6a7dc","after":"d46aeddfc2dafea815de883f64eb432385761fb0","ref":"refs/heads/AG","pushedAt":"2023-07-21T10:49:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"CohenCyril","name":"Cyril Cohen","path":"/CohenCyril","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/298705?s=80&v=4"},"commit":{"message":"set -> pose","shortMessageHtmlLink":"set -&gt; pose"}},{"before":"08606fce0f4d836d00bcf169b4a9badfbc8229eb","after":"9a91e8af55beb40655d5e5891bada95803d6a7dc","ref":"refs/heads/AG","pushedAt":"2023-07-21T10:30:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"CohenCyril","name":"Cyril Cohen","path":"/CohenCyril","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/298705?s=80&v=4"},"commit":{"message":"Simplifications","shortMessageHtmlLink":"Simplifications"}},{"before":"484881283e3452722dd91bbe60d09f66940908b6","after":"08606fce0f4d836d00bcf169b4a9badfbc8229eb","ref":"refs/heads/AG","pushedAt":"2023-06-08T17:33:00.889Z","pushType":"push","commitsCount":1,"pusher":{"login":"Tragicus","name":"Quentin VERMANDE","path":"/Tragicus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/96025499?s=80&v=4"},"commit":{"message":"cleanup","shortMessageHtmlLink":"cleanup"}},{"before":"e5b4036167e2a410e88df410d4948d398dbcb0c2","after":"484881283e3452722dd91bbe60d09f66940908b6","ref":"refs/heads/AG","pushedAt":"2023-04-22T20:25:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Tragicus","name":"Quentin VERMANDE","path":"/Tragicus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/96025499?s=80&v=4"},"commit":{"message":"remove has_char0 hypotheses","shortMessageHtmlLink":"remove has_char0 hypotheses"}},{"before":"bed5f3b92998b9b09c571ac48e968dfb1c43b501","after":"e5b4036167e2a410e88df410d4948d398dbcb0c2","ref":"refs/heads/AG","pushedAt":"2023-04-22T14:22:00.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Tragicus","name":"Quentin VERMANDE","path":"/Tragicus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/96025499?s=80&v=4"},"commit":{"message":"comments","shortMessageHtmlLink":"comments"}},{"before":"959f75d5adfbe1688837113df4435b06bc0fc928","after":"bed5f3b92998b9b09c571ac48e968dfb1c43b501","ref":"refs/heads/AG","pushedAt":"2023-04-22T12:24:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Tragicus","name":"Quentin VERMANDE","path":"/Tragicus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/96025499?s=80&v=4"},"commit":{"message":"comments","shortMessageHtmlLink":"comments"}},{"before":"6664b1107a0913e7f23908026cec03919f6a0c0a","after":"959f75d5adfbe1688837113df4435b06bc0fc928","ref":"refs/heads/AG","pushedAt":"2023-04-21T12:55:08.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"Tragicus","name":"Quentin VERMANDE","path":"/Tragicus","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/96025499?s=80&v=4"},"commit":{"message":"characteristic independant AbelGalois","shortMessageHtmlLink":"characteristic independant AbelGalois"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOC0xOVQxMTozNjo1NS4wMDAwMDBazwAAAASd9Bce","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOC0xOVQxMTozNjo1NS4wMDAwMDBazwAAAASd9Bce","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0wNC0yMVQxMjo1NTowOC4wMDAwMDBazwAAAAMdnexj"}},"title":"Activity · Tragicus/Abel"}