{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":444141938,"defaultBranch":"master","name":"formalising-mathematics-2022","ownerLogin":"ImperialCollegeLondon","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2022-01-03T17:17:01.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/1220306?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1647805978.435668","currentOid":""},"activityList":{"items":[{"before":"af5f176b3b881b7bc0ae89b55befe48c9d4ab790","after":"a1686aaa72a3c387d3a9bb68e5d15764246cb58b","ref":"refs/heads/master","pushedAt":"2024-03-09T11:25:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"kbuzzard","name":"Kevin Buzzard","path":"/kbuzzard","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/31867827?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEEOWKawA","startCursor":null,"endCursor":null}},"title":"Activity · ImperialCollegeLondon/formalising-mathematics-2022"}