{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":57215708,"defaultBranch":"master","name":"huffman","ownerLogin":"coq-community","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2016-04-27T13:31:49.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/34452610?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1692464417.0","currentOid":""},"activityList":{"items":[{"before":"5a26ace60f52539f386faafebb8eb4cc62b6b86f","after":"adfb872b68aeba2426440ee6cbb73fa698ce17fc","ref":"refs/heads/master","pushedAt":"2023-12-30T00:35:06.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 and opam for 8.19","shortMessageHtmlLink":"ci and opam for 8.19"}},{"before":"03d40bd01f2bbccf774e369a3d3feaa2b2a5524a","after":"5a26ace60f52539f386faafebb8eb4cc62b6b86f","ref":"refs/heads/master","pushedAt":"2023-11-19T17:50: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":"fix CI status image","shortMessageHtmlLink":"fix CI status image"}},{"before":"34a9fd136927c38954a874b47b765ece3479b00d","after":null,"ref":"refs/heads/dune-coq-0.7","pushedAt":"2023-08-19T17:00:17.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":"6ede5537aa9eb069a3f63e691ccdf6c1bfaa850c","after":"03d40bd01f2bbccf774e369a3d3feaa2b2a5524a","ref":"refs/heads/master","pushedAt":"2023-08-19T17:00:14.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"Merge pull request #50 from coq-community/dune-coq-0.7\n\nuse Dune-Coq 0.7","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1857701579\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/huffman/issues/50\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/huffman/pull/50/hovercard\" href=\"https://github.com/coq-community/huffman/pull/50\">#50</a> from coq-community/dune-coq-0.7"}},{"before":"aac3a699ec2f968c6a6bfb36791787646a4f59dc","after":"34a9fd136927c38954a874b47b765ece3479b00d","ref":"refs/heads/dune-coq-0.7","pushedAt":"2023-08-19T16:54:23.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":"switch to Dune-Coq 0.6","shortMessageHtmlLink":"switch to Dune-Coq 0.6"}},{"before":"d14b0031137ecc37ed03c56c596d5c32da9765dc","after":"aac3a699ec2f968c6a6bfb36791787646a4f59dc","ref":"refs/heads/dune-coq-0.7","pushedAt":"2023-08-19T13:21:10.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Zimmi48","name":"Théo Zimmermann","path":"/Zimmi48","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1108325?s=80&v=4"},"commit":{"message":"Fix Nix setup for Dune 3.","shortMessageHtmlLink":"Fix Nix setup for Dune 3."}},{"before":"fefa1f82a2f679f47a58969690109884e3c4d560","after":"d14b0031137ecc37ed03c56c596d5c32da9765dc","ref":"refs/heads/dune-coq-0.7","pushedAt":"2023-08-19T13:15:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Zimmi48","name":"Théo Zimmermann","path":"/Zimmi48","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1108325?s=80&v=4"},"commit":{"message":"Fix Nix setup for Dune 3.","shortMessageHtmlLink":"Fix Nix setup for Dune 3."}},{"before":null,"after":"fefa1f82a2f679f47a58969690109884e3c4d560","ref":"refs/heads/dune-coq-0.7","pushedAt":"2023-08-19T12:49:06.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":"use Dune-Coq 0.7","shortMessageHtmlLink":"use Dune-Coq 0.7"}},{"before":"0b26d1fbdaf3d783c027eef4e7adcc6f65752931","after":"6ede5537aa9eb069a3f63e691ccdf6c1bfaa850c","ref":"refs/heads/master","pushedAt":"2023-08-08T20:30:55.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":"check 8.18 in CI","shortMessageHtmlLink":"check 8.18 in CI"}},{"before":"0f7276d90b8e0c313d2d69cee7d2737ffa9195df","after":null,"ref":"refs/heads/fix-deprec","pushedAt":"2023-07-08T22:13:03.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":"11831ee38d404706b9a32414e3fbdb253acff9dd","after":"0b26d1fbdaf3d783c027eef4e7adcc6f65752931","ref":"refs/heads/master","pushedAt":"2023-07-08T22:13:00.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 #49 from coq-community/fix-deprec\n\nFix deprecations","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1795145434\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/huffman/issues/49\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/huffman/pull/49/hovercard\" href=\"https://github.com/coq-community/huffman/pull/49\">#49</a> from coq-community/fix-deprec"}},{"before":null,"after":"0f7276d90b8e0c313d2d69cee7d2737ffa9195df","ref":"refs/heads/fix-deprec","pushedAt":"2023-07-08T22:08: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":"adjust to latest feasible Dune version","shortMessageHtmlLink":"adjust to latest feasible Dune version"}},{"before":"7014dfcafe9434f3e49ca7c1c5273577bf29ef9c","after":null,"ref":"refs/heads/fix-ci","pushedAt":"2023-07-08T21:13:57.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":"0857dc9ac31c5bfb71b398c9df62a39eda1fd675","after":"11831ee38d404706b9a32414e3fbdb253acff9dd","ref":"refs/heads/master","pushedAt":"2023-07-08T21:13:55.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 #48 from coq-community/fix-ci\n\nupdate metadata and CI","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1795112220\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-community/huffman/issues/48\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-community/huffman/pull/48/hovercard\" href=\"https://github.com/coq-community/huffman/pull/48\">#48</a> from coq-community/fix-ci"}},{"before":null,"after":"7014dfcafe9434f3e49ca7c1c5273577bf29ef9c","ref":"refs/heads/fix-ci","pushedAt":"2023-07-08T21:06:56.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 metadata and CI","shortMessageHtmlLink":"update metadata and CI"}},{"before":null,"after":"9e23c72a2bbbbf697941d4d7338cb8035a20978d","ref":"refs/heads/dune-3.8","pushedAt":"2023-06-09T21:25:31.382Z","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":"switch to Dune-Coq 0.8","shortMessageHtmlLink":"switch to Dune-Coq 0.8"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAD1F2TXQA","startCursor":null,"endCursor":null}},"title":"Activity · coq-community/huffman"}