{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":331592375,"defaultBranch":"master","name":"formalising-mathematics","ownerLogin":"ImperialCollegeLondon","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2021-01-21T10:27:29.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/1220306?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1615485766.514316","currentOid":""},"activityList":{"items":[{"before":"7cf1d51c27e2038d2804561d63c74711924044a1","after":"d81ad67e36774eb68f242bcc1b88d33dacfd87bf","ref":"refs/heads/master","pushedAt":"2024-03-09T11:16:32.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":"djE6ks8AAAAEEOSvCQA","startCursor":null,"endCursor":null}},"title":"Activity · ImperialCollegeLondon/formalising-mathematics"}