{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":499481583,"defaultBranch":"main","name":"coq-universe","ownerLogin":"coq-universe","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2022-06-03T11:12:48.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/157377173?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1701431265.0","currentOid":""},"activityList":{"items":[{"before":null,"after":"937597d7cb087341d4fa9588c811f85583d5d168","ref":"refs/heads/bump_dune","pushedAt":"2023-12-01T11:47:45.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"ejgallego","name":"Emilio Jesús Gallego Arias","path":"/ejgallego","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7192257?s=80&v=4"},"commit":{"message":"[dune] Update Dune to current after 3.12 main + fixes\n\nThis is mostly a test for https://github.com/ocaml/dune/pull/9347 ,\nbut if successful, it will allow us to resume work.","shortMessageHtmlLink":"[dune] Update Dune to current after 3.12 main + fixes"}},{"before":"e828afcc48c6d9d4586ed8f7ace19a0d7cb9cdcf","after":"f609643eacddd9ccd7f1f34bb56caac8324ca8e8","ref":"refs/heads/main","pushedAt":"2023-03-11T12:35:57.465Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"Alizter","name":"Ali Caglayan","path":"/Alizter","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8614547?s=80&v=4"},"commit":{"message":"Merge pull request #34 from Alizter/ps/rr/update_nix","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1619960775\" data-permission-text=\"Title is private\" data-url=\"https://github.com/coq-universe/coq-universe/issues/34\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/coq-universe/coq-universe/pull/34/hovercard\" href=\"https://github.com/coq-universe/coq-universe/pull/34\">#34</a> from Alizter/ps/rr/update_nix"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADvTdbIgA","startCursor":null,"endCursor":null}},"title":"Activity · coq-universe/coq-universe"}