{"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:1703359623.0","currentOid":""},"activityList":{"items":[{"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 <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2248145239\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/stalmarck/issues/31\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/stalmarck/pull/31/hovercard\" href=\"https://github.com/coq-community/stalmarck/pull/31\">#31</a> 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 <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1794495548\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/stalmarck/issues/30\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/stalmarck/pull/30/hovercard\" href=\"https://github.com/coq-community/stalmarck/pull/30\">#30</a> 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 <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1778946477\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/stalmarck/issues/29\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/stalmarck/pull/29/hovercard\" href=\"https://github.com/coq-community/stalmarck/pull/29\">#29</a> from ppedrot/split-generalize-tactics"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEOFRI7AA","startCursor":null,"endCursor":null}},"title":"Activity · coq-community/stalmarck"}