{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":57117555,"defaultBranch":"master","name":"buchberger","ownerLogin":"coq-community","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2016-04-26T09:57:37.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/34452610?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1703768287.0","currentOid":""},"activityList":{"items":[{"before":"fbad4325d3ee7ea170288f6bed8e0dba51dd0599","after":"92f377ac39c0aec3e6ef77d4c2b26318990e2145","ref":"refs/heads/master","pushedAt":"2023-12-30T09:36:17.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 for 8.19","shortMessageHtmlLink":"ci for 8.19"}},{"before":"6f5d96ccf8fc6292f47497cd7a44264c3162066f","after":"fbad4325d3ee7ea170288f6bed8e0dba51dd0599","ref":"refs/heads/master","pushedAt":"2023-12-28T12:52:42.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 changelog","shortMessageHtmlLink":"update changelog"}},{"before":"c210fbf9d5212c752b3c49d52c91fcb631b79000","after":"6f5d96ccf8fc6292f47497cd7a44264c3162066f","ref":"refs/heads/master","pushedAt":"2023-12-23T17:53:07.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":"regenerate README.md from template","shortMessageHtmlLink":"regenerate README.md from template"}},{"before":"1bee322c425cd16f5fad3cd2a1c5c176d89fda24","after":null,"ref":"refs/heads/fix-8.19","pushedAt":"2023-12-23T17:51:16.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":"55ee2e82a05904a7dfb060e558044284abe9c9f5","after":"c210fbf9d5212c752b3c49d52c91fcb631b79000","ref":"refs/heads/master","pushedAt":"2023-12-23T17:51:13.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 #18 from coq-community/fix-8.19\n\ncompatibility with 8.19 and beyond","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2054855009\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/buchberger/issues/18\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/buchberger/pull/18/hovercard\" href=\"https://github.com/coq-community/buchberger/pull/18\">#18</a> from coq-community/fix-8.19"}},{"before":null,"after":"1bee322c425cd16f5fad3cd2a1c5c176d89fda24","ref":"refs/heads/fix-8.19","pushedAt":"2023-12-23T17:48:32.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":"compatibility with 8.19 and beyond","shortMessageHtmlLink":"compatibility with 8.19 and beyond"}},{"before":"85cbf60655b7ba489f501aa606878b8146c11608","after":"55ee2e82a05904a7dfb060e558044284abe9c9f5","ref":"refs/heads/master","pushedAt":"2023-10-15T19:25:21.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":"e33b35a559c94b855a8b40a82e15a1e01678c260","after":null,"ref":"refs/heads/port-8.18","pushedAt":"2023-10-06T20:33:38.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":"7625647c300bb5f155f6bf40b69c232f64819a4f","after":"85cbf60655b7ba489f501aa606878b8146c11608","ref":"refs/heads/master","pushedAt":"2023-10-06T20:33:35.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"Merge pull request #17 from coq-community/port-8.18\n\nport to 8.17 and 8.18, refresh metadata","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1930890453\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/buchberger/issues/17\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/buchberger/pull/17/hovercard\" href=\"https://github.com/coq-community/buchberger/pull/17\">#17</a> from coq-community/port-8.18"}},{"before":"89fdce2093cde5760bbe664a462f38c202e14c50","after":"e33b35a559c94b855a8b40a82e15a1e01678c260","ref":"refs/heads/port-8.18","pushedAt":"2023-10-06T20:29:57.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":"remove Nix CI for now due to hosting issues","shortMessageHtmlLink":"remove Nix CI for now due to hosting issues"}},{"before":null,"after":"89fdce2093cde5760bbe664a462f38c202e14c50","ref":"refs/heads/port-8.18","pushedAt":"2023-10-06T20:23:47.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":"port to 8.17 and 8.18, refresh metadata","shortMessageHtmlLink":"port to 8.17 and 8.18, refresh metadata"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAD1IP13wA","startCursor":null,"endCursor":null}},"title":"Activity · coq-community/buchberger"}