{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":821565737,"defaultBranch":"main","name":"DafnyRuntimeGo","ownerLogin":"dafny-lang","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2024-06-28T20:52:42.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/52358127?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1719615741.0","currentOid":""},"activityList":{"items":[{"before":"de4dc71a3be37536cfc511c797c4e2917f534aa2","after":null,"ref":"refs/tags/v4.7.0","pushedAt":"2024-06-28T23:02:09.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"atomb","name":"Aaron Tomb","path":"/atomb","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24929?s=80&v=4"}},{"before":"de4dc71a3be37536cfc511c797c4e2917f534aa2","after":"ef4bf9d673db54bbe7e029161830b8c0b6023e7d","ref":"refs/heads/main","pushedAt":"2024-06-28T23:01:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"atomb","name":"Aaron Tomb","path":"/atomb","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24929?s=80&v=4"},"commit":{"message":"Add top-level go.mod","shortMessageHtmlLink":"Add top-level go.mod"}},{"before":"a2ba270fa81a4d53b2278b21000df096508124fc","after":null,"ref":"refs/tags/v4.7.0","pushedAt":"2024-06-28T22:27:01.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"atomb","name":"Aaron Tomb","path":"/atomb","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24929?s=80&v=4"}},{"before":"a2ba270fa81a4d53b2278b21000df096508124fc","after":"de4dc71a3be37536cfc511c797c4e2917f534aa2","ref":"refs/heads/main","pushedAt":"2024-06-28T22:26:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"atomb","name":"Aaron Tomb","path":"/atomb","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24929?s=80&v=4"},"commit":{"message":"Compatible import from System_.go","shortMessageHtmlLink":"Compatible import from System_.go"}},{"before":"c9dbe74557bfa1ad108474924f44f04195f06df0","after":null,"ref":"refs/tags/v4.7.0","pushedAt":"2024-06-28T21:02:56.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"atomb","name":"Aaron Tomb","path":"/atomb","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24929?s=80&v=4"}},{"before":"6508dbaded975a1faaf42e4d4b98e4a55248f9bd","after":"a2ba270fa81a4d53b2278b21000df096508124fc","ref":"refs/heads/main","pushedAt":"2024-06-28T21:02:32.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"atomb","name":"Aaron Tomb","path":"/atomb","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24929?s=80&v=4"},"commit":{"message":"Include major version in module name","shortMessageHtmlLink":"Include major version in module name"}},{"before":null,"after":"6508dbaded975a1faaf42e4d4b98e4a55248f9bd","ref":"refs/heads/main","pushedAt":"2024-06-28T20:52:42.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"atomb","name":"Aaron Tomb","path":"/atomb","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24929?s=80&v=4"},"commit":{"message":"Initial commit","shortMessageHtmlLink":"Initial commit"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNi0yOFQyMzowMjowOS4wMDAwMDBazwAAAARySGoM","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNi0yOFQyMzowMjowOS4wMDAwMDBazwAAAARySGoM","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNi0yOFQyMDo1Mjo0Mi4wMDAwMDBazwAAAARyOFmY"}},"title":"Activity · dafny-lang/DafnyRuntimeGo"}