{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":198720589,"defaultBranch":"master","name":"fix-to-elim","ownerLogin":"uwplse","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2019-07-24T23:02:41.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/5273459?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1720036237.0","currentOid":""},"activityList":{"items":[{"before":"d13c56c801458a2b6009b706dc59f7fb55d5007e","after":"6c704298275b13b0119399174eab464e6fa09202","ref":"refs/heads/WIP-8.14","pushedAt":"2024-07-04T20:56:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"agrarpan","name":"Arpan Agrawal","path":"/agrarpan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/112970424?s=80&v=4"},"commit":{"message":"Update .gitmodules","shortMessageHtmlLink":"Update .gitmodules"}},{"before":"834834689131ef5a43b977dad269d23ecc768157","after":"d13c56c801458a2b6009b706dc59f7fb55d5007e","ref":"refs/heads/WIP-8.14","pushedAt":"2024-07-04T16:51:10.000Z","pushType":"pr_merge","commitsCount":38,"pusher":{"login":"tlringer","name":"Talia Ringer","path":"/tlringer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9851391?s=80&v=4"},"commit":{"message":"Merge pull request #17 from agrarpan/coq-8.14\n\nCoq 8.14","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2389343358\" data-permission-text=\"Title is private\" data-url=\"https://github.com/uwplse/fix-to-elim/issues/17\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/uwplse/fix-to-elim/pull/17/hovercard\" href=\"https://github.com/uwplse/fix-to-elim/pull/17\">#17</a> from agrarpan/coq-8.14"}},{"before":null,"after":"834834689131ef5a43b977dad269d23ecc768157","ref":"refs/heads/WIP-8.14","pushedAt":"2024-07-03T19:50:37.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"agrarpan","name":"Arpan Agrawal","path":"/agrarpan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/112970424?s=80&v=4"},"commit":{"message":"Merge remote-tracking branch 'origin/8.9.1'","shortMessageHtmlLink":"Merge remote-tracking branch 'origin/8.9.1'"}},{"before":"834834689131ef5a43b977dad269d23ecc768157","after":"96895c21cd53473c68fa027bfbb67297de5ea7f8","ref":"refs/heads/8.9_for_pumpkin_patch","pushedAt":"2024-07-03T19:35:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"agrarpan","name":"Arpan Agrawal","path":"/agrarpan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/112970424?s=80&v=4"},"commit":{"message":"Update .gitmodules","shortMessageHtmlLink":"Update .gitmodules"}},{"before":null,"after":"834834689131ef5a43b977dad269d23ecc768157","ref":"refs/heads/8.9_for_pumpkin_patch","pushedAt":"2024-07-03T19:27:52.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"agrarpan","name":"Arpan Agrawal","path":"/agrarpan","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/112970424?s=80&v=4"},"commit":{"message":"Merge remote-tracking branch 'origin/8.9.1'","shortMessageHtmlLink":"Merge remote-tracking branch 'origin/8.9.1'"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEd0AQnQA","startCursor":null,"endCursor":null}},"title":"Activity · uwplse/fix-to-elim"}