{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":57054528,"defaultBranch":"master","name":"atbr","ownerLogin":"coq-community","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2016-04-25T15:43:33.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/34452610?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1725354777.0","currentOid":""},"activityList":{"items":[{"before":"721a546aa670c7fcec7c2a9760bf78784f6cbc11","after":"4a2af87f4cf79ba62dab16d2e7cb018ae64c05e5","ref":"refs/heads/stdlib_repo","pushedAt":"2024-09-16T15:15:44.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":"Adapt to https://github.com/coq/coq/pull/19530","shortMessageHtmlLink":"Adapt to <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2519789622\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/coq/issues/19530\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/coq/pull/19530/hovercard\" href=\"https://github.com/coq/coq/pull/19530\">coq/coq#19530</a>"}},{"before":"721a546aa670c7fcec7c2a9760bf78784f6cbc11","after":null,"ref":"refs/heads/split_stdlib","pushedAt":"2024-09-03T09:12:57.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"}},{"before":null,"after":"721a546aa670c7fcec7c2a9760bf78784f6cbc11","ref":"refs/heads/stdlib_repo","pushedAt":"2024-09-03T09:12:56.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Adapt to split_stdlib","shortMessageHtmlLink":"Adapt to split_stdlib"}},{"before":null,"after":"721a546aa670c7fcec7c2a9760bf78784f6cbc11","ref":"refs/heads/split_stdlib","pushedAt":"2024-07-24T13:01:55.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Adapt to split_stdlib","shortMessageHtmlLink":"Adapt to split_stdlib"}},{"before":null,"after":"1da806205e1f2329b3de74de80d64eab035080f1","ref":"refs/heads/v8.20","pushedAt":"2024-06-30T08:18:25.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"adapt boilerplate for Coq 8.20","shortMessageHtmlLink":"adapt boilerplate for Coq 8.20"}},{"before":"967cd0f53e812e4980736c67d6f1114ff022f39e","after":"5e3f4fe63d6423f672e03f15052068fe2fd5a3fc","ref":"refs/heads/master","pushedAt":"2024-04-23T17:13:59.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"ppedrot","name":"Pierre-Marie Pédrot","path":"/ppedrot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1202327?s=80&v=4"},"commit":{"message":"Merge pull request #43 from SkySkimmer/erelevance\n\nAdapt to coq/coq#18938 (EConstr.ERelevance)","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2248048213\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/atbr/issues/43\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/atbr/pull/43/hovercard\" href=\"https://github.com/coq-community/atbr/pull/43\">#43</a> from SkySkimmer/erelevance"}},{"before":"f6c36b5d4deb00d5b7f0fd318547af9e2fabc555","after":null,"ref":"refs/heads/coq_18590","pushedAt":"2024-01-31T18:14:33.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"}},{"before":"39de8e4c654a530238390704677a672275649d12","after":"967cd0f53e812e4980736c67d6f1114ff022f39e","ref":"refs/heads/master","pushedAt":"2024-01-31T18:14:30.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"Merge pull request #42 from coq-community/coq_18590\n\nAdapt to https://github.com/coq/coq/pull/18590","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2110417042\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/atbr/issues/42\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/atbr/pull/42/hovercard\" href=\"https://github.com/coq-community/atbr/pull/42\">#42</a> from coq-community/coq_18590"}},{"before":null,"after":"f6c36b5d4deb00d5b7f0fd318547af9e2fabc555","ref":"refs/heads/coq_18590","pushedAt":"2024-01-31T15:51:34.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"proux01","name":"Pierre Roux","path":"/proux01","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15833376?s=80&v=4"},"commit":{"message":"Adapt to https://github.com/coq/coq/pull/18590","shortMessageHtmlLink":"Adapt to <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2108207360\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq/coq/issues/18590\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq/coq/pull/18590/hovercard\" href=\"https://github.com/coq/coq/pull/18590\">coq/coq#18590</a>"}},{"before":"6da3acc8ea05c05f5697e2b40d0d77ab4c415aad","after":"242d1f090344e8f70578f9d428547100b371ec1d","ref":"refs/heads/v8.19","pushedAt":"2023-12-30T00:12:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"add back docker action ci","shortMessageHtmlLink":"add back docker action ci"}},{"before":"39de8e4c654a530238390704677a672275649d12","after":null,"ref":"refs/tags/v8.19.0","pushedAt":"2023-12-28T17:48:56.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"}},{"before":"3aebc63855a0ede8c9e34050595e5ee7ac9a80bb","after":"6da3acc8ea05c05f5697e2b40d0d77ab4c415aad","ref":"refs/heads/v8.19","pushedAt":"2023-12-28T17:45:29.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"adapt boilerplate for 8.19","shortMessageHtmlLink":"adapt boilerplate for 8.19"}},{"before":null,"after":"3aebc63855a0ede8c9e34050595e5ee7ac9a80bb","ref":"refs/heads/v8.19","pushedAt":"2023-12-28T17:42:23.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"adapt boilerplate for 8.19","shortMessageHtmlLink":"adapt boilerplate for 8.19"}},{"before":"1746dc0e757686559914dac295185b6819ce135a","after":null,"ref":"refs/heads/fix-npeano-deprec","pushedAt":"2023-11-04T16:31:07.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"}},{"before":"861e53b8fc4c9aeabcce1fe4180e897a36125d2e","after":"39de8e4c654a530238390704677a672275649d12","ref":"refs/heads/master","pushedAt":"2023-11-04T16:31:04.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"Merge pull request #41 from coq-community/fix-npeano-deprec\n\nremove use of deprecated NPeano module","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1977418347\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/atbr/issues/41\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/atbr/pull/41/hovercard\" href=\"https://github.com/coq-community/atbr/pull/41\">#41</a> from coq-community/fix-npeano-deprec"}},{"before":null,"after":"1746dc0e757686559914dac295185b6819ce135a","ref":"refs/heads/fix-npeano-deprec","pushedAt":"2023-11-04T16:26:34.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"remove use of deprecated NPeano module","shortMessageHtmlLink":"remove use of deprecated NPeano module"}},{"before":"ffe25e56e328bf406c56782dffb7a07142c10a67","after":null,"ref":"refs/heads/fix-deprec","pushedAt":"2023-10-15T18:15:13.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"}},{"before":"bd99c28a7531f663effe5492be3cf93f0629dd25","after":"861e53b8fc4c9aeabcce1fe4180e897a36125d2e","ref":"refs/heads/master","pushedAt":"2023-10-15T18:15:11.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"Merge pull request #40 from coq-community/fix-deprec\n\nfix arith deprecations","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1943993455\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/atbr/issues/40\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/atbr/pull/40/hovercard\" href=\"https://github.com/coq-community/atbr/pull/40\">#40</a> from coq-community/fix-deprec"}},{"before":null,"after":"ffe25e56e328bf406c56782dffb7a07142c10a67","ref":"refs/heads/fix-deprec","pushedAt":"2023-10-15T18:06:11.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"fix arith deprecations","shortMessageHtmlLink":"fix arith deprecations"}},{"before":"cbdac60aec80a85b854b954733ad09ca71778a69","after":"bd99c28a7531f663effe5492be3cf93f0629dd25","ref":"refs/heads/master","pushedAt":"2023-10-02T13:40:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"update index.md from templates","shortMessageHtmlLink":"update index.md from templates"}},{"before":"a97cc272fecaa8836120c1242f61abdb312feef1","after":"cbdac60aec80a85b854b954733ad09ca71778a69","ref":"refs/heads/master","pushedAt":"2023-10-02T13:31:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"CI should ignore updates to resources directory","shortMessageHtmlLink":"CI should ignore updates to resources directory"}},{"before":null,"after":"92d2a5ffbf8ca5695b524cea6569aaaa1a2f8b38","ref":"refs/heads/v8.18","pushedAt":"2023-08-08T19:08:05.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"update boilerplate for 8.18","shortMessageHtmlLink":"update boilerplate for 8.18"}},{"before":"9d8b612d74243300d5d577f4ecf636630ecd6464","after":null,"ref":"refs/heads/simpl-never","pushedAt":"2023-07-09T20:10:23.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"}},{"before":"4aa4e821b77b42c1a168fbc9cac564e26e2b9dd9","after":"a97cc272fecaa8836120c1242f61abdb312feef1","ref":"refs/heads/master","pushedAt":"2023-07-09T20:10:20.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"Merge pull request #39 from coq-community/simpl-never\n\nmake ad-hoc simpl never in DKA_Merge local, avoid unfolds","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1795543584\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/atbr/issues/39\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/atbr/pull/39/hovercard\" href=\"https://github.com/coq-community/atbr/pull/39\">#39</a> from coq-community/simpl-never"}},{"before":null,"after":"9d8b612d74243300d5d577f4ecf636630ecd6464","ref":"refs/heads/simpl-never","pushedAt":"2023-07-09T20:04:33.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"make ad-hoc simpl never in DKA_Merge local, avoid unfolds in StrictKleeneAlgebra","shortMessageHtmlLink":"make ad-hoc simpl never in DKA_Merge local, avoid unfolds in StrictKl…"}},{"before":null,"after":"0fefbe5dae9a82165033c46c82689a98f9790f42","ref":"refs/heads/v8.16","pushedAt":"2023-07-09T18:09:01.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"final boilerplate for 8.16","shortMessageHtmlLink":"final boilerplate for 8.16"}},{"before":null,"after":"5275c93c8814d2ffd3f973132bf7972edd13093b","ref":"refs/heads/v8.15","pushedAt":"2023-07-09T18:05:22.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"final boilerplate for 8.15","shortMessageHtmlLink":"final boilerplate for 8.15"}},{"before":null,"after":"5ba1fddb984f7b8489a1a36367f88f93cff02874","ref":"refs/heads/v8.14","pushedAt":"2023-07-09T17:59:43.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"boilerplate for 8.14","shortMessageHtmlLink":"boilerplate for 8.14"}},{"before":null,"after":"419d6f0e65a8cbe313ed509d0a997ce2caf9ec7d","ref":"refs/heads/v8.13","pushedAt":"2023-07-09T17:57:50.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"boilerplate for 8.13","shortMessageHtmlLink":"boilerplate for 8.13"}},{"before":"0714951ad64c32a52e2cc87a17ee11db337acca0","after":null,"ref":"refs/heads/coq-require","pushedAt":"2023-07-09T17:41:09.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0xNlQxNToxNTo0NC4wMDAwMDBazwAAAAS3lVKf","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0wNy0wOVQxNzo0MTowOS4wMDAwMDBazwAAAANRxXcX"}},"title":"Activity · coq-community/atbr"}