{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":465653279,"defaultBranch":"master","name":"docker-agda-mini","ownerLogin":"sourcedennis","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2022-03-03T09:34:04.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/69091575?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1646338682.418675","currentOid":""},"activityList":{"items":[{"before":"3ae83274802c8442fdeaef2785a0dfa16225996d","after":"2f5a9231be2e6a0d48f9496903cebf1c8c4aa1aa","ref":"refs/heads/master","pushedAt":"2024-06-05T20:01:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sourcedennis","name":"Dennis","path":"/sourcedennis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/69091575?s=80&v=4"},"commit":{"message":"Updated for Agda 2.6.4.3","shortMessageHtmlLink":"Updated for Agda 2.6.4.3"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEXYMy1QA","startCursor":null,"endCursor":null}},"title":"Activity · sourcedennis/docker-agda-mini"}