{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":57231932,"defaultBranch":"master","name":"stalmarck","ownerLogin":"coq-community","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2016-04-27T17:17:03.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/34452610?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1723557132.0","currentOid":""},"activityList":{"items":[{"before":"48d058b81e491d01e80e5aacdad41eaaf0b45c58","after":null,"ref":"refs/heads/split_stdlib","pushedAt":"2024-08-13T13:52:12.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":"69089964d3a4aca2b1b75ee359ee1c5090f8f8db","ref":"refs/heads/checker-package","pushedAt":"2024-07-27T20:56:26.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":"split off stalmarck checker program into coq-stalmarck-checker package","shortMessageHtmlLink":"split off stalmarck checker program into coq-stalmarck-checker package"}},{"before":null,"after":"48d058b81e491d01e80e5aacdad41eaaf0b45c58","ref":"refs/heads/split_stdlib","pushedAt":"2024-07-24T13:12:30.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":"3fb2355cbc425fae1bac42917d7f197ad544f1b9","after":"4643e9507e7f03d485fc63410f7f500984d5be8b","ref":"refs/heads/v8.20","pushedAt":"2024-06-29T22:36:12.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":"fix docker-action","shortMessageHtmlLink":"fix docker-action"}},{"before":null,"after":"3fb2355cbc425fae1bac42917d7f197ad544f1b9","ref":"refs/heads/v8.20","pushedAt":"2024-06-29T22:33:13.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":"adjust boilerplate for Coq 8.20","shortMessageHtmlLink":"adjust boilerplate for Coq 8.20"}},{"before":"3d10aec0498a559611cdd20a2248f164d1de78ba","after":"d32acd3c477c57b48dd92bdd96d53fb8fa628512","ref":"refs/heads/master","pushedAt":"2024-04-23T17:16:54.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 #31 from SkySkimmer/erelevance\n\nAdapt to coq/coq#18938 (EConstr.ERelevance)","shortMessageHtmlLink":"Merge pull request #31 from SkySkimmer/erelevance"}},{"before":"6bced6dce4e40120200ef651100b86f2a47765c7","after":"0b7977ee2223a700baae62e43f45dbdfc1bce2ff","ref":"refs/heads/v8.19","pushedAt":"2023-12-30T00:07:47.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":"fix action ci","shortMessageHtmlLink":"fix action ci"}},{"before":null,"after":"6bced6dce4e40120200ef651100b86f2a47765c7","ref":"refs/heads/v8.19","pushedAt":"2023-12-23T19:23:52.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.19","shortMessageHtmlLink":"update boilerplate for 8.19"}},{"before":"22a05ddcc6a826ffa772282f1d3a0902d3921e7b","after":"3d10aec0498a559611cdd20a2248f164d1de78ba","ref":"refs/heads/master","pushedAt":"2023-12-23T18:01:45.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":"generate README.md from template","shortMessageHtmlLink":"generate README.md from template"}},{"before":"6ad84f9c370b8e9efe626b60929d4cbae13287c0","after":"22a05ddcc6a826ffa772282f1d3a0902d3921e7b","ref":"refs/heads/master","pushedAt":"2023-10-15T19:36:00.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 nix-action from templates","shortMessageHtmlLink":"update nix-action from templates"}},{"before":null,"after":"672dcb2ac8c5f5768385784e3d44ee904ce3d7dd","ref":"refs/heads/v8.18","pushedAt":"2023-08-08T19:22: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":"update boilerplate for 8.18","shortMessageHtmlLink":"update boilerplate for 8.18"}},{"before":"f6a4b5e85c5d66fa2fcbea9d11e649c299d55a51","after":null,"ref":"refs/heads/flags-metadata-update","pushedAt":"2023-07-07T22:53:46.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":"f6cec1d8c3471d8e3c5752796680d328adc4af7c","after":"6ad84f9c370b8e9efe626b60929d4cbae13287c0","ref":"refs/heads/master","pushedAt":"2023-07-07T22:53:43.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 #30 from coq-community/flags-metadata-update\n\nremove redundant flags, update boilerplate, commit to Dune-Coq 0.3","shortMessageHtmlLink":"Merge pull request #30 from coq-community/flags-metadata-update"}},{"before":"cde067e8a5fbdd378048316e13c0979f4c225371","after":"f6a4b5e85c5d66fa2fcbea9d11e649c299d55a51","ref":"refs/heads/flags-metadata-update","pushedAt":"2023-07-07T22:44:33.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":"remove redundant flags, update boilerplate, commit to Dune-Coq 0.3","shortMessageHtmlLink":"remove redundant flags, update boilerplate, commit to Dune-Coq 0.3"}},{"before":null,"after":"cde067e8a5fbdd378048316e13c0979f4c225371","ref":"refs/heads/flags-metadata-update","pushedAt":"2023-07-07T22:41: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":"remove redundant flags, update boilerplate, commit to Dune-Coq 0.3","shortMessageHtmlLink":"remove redundant flags, update boilerplate, commit to Dune-Coq 0.3"}},{"before":"9e6cd57df21f991ca5cdd54800707b96fba16ced","after":"f6cec1d8c3471d8e3c5752796680d328adc4af7c","ref":"refs/heads/master","pushedAt":"2023-06-29T13:51:10.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"SkySkimmer","name":"Gaëtan Gilbert","path":"/SkySkimmer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2461932?s=80&v=4"},"commit":{"message":"Merge pull request #29 from ppedrot/split-generalize-tactics","shortMessageHtmlLink":"Merge pull request #29 from ppedrot/split-generalize-tactics"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOC0xM1QxMzo1MjoxMi4wMDAwMDBazwAAAASZPyjf","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOC0xM1QxMzo1MjoxMi4wMDAwMDBazwAAAASZPyjf","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0wNi0yOVQxMzo1MToxMC4wMDAwMDBazwAAAANLk4yo"}},"title":"Activity · coq-community/stalmarck"}