{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":681442467,"defaultBranch":"main","name":"proof-assistant","ownerLogin":"rrzhang139","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-08-22T03:02:27.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/54880614?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1692673348.717412","currentOid":""},"activityList":{"items":[{"before":"f5aa9f282fa11b24f0d36cc0fbffdab63aeaf0c6","after":"c2ce8297ea637f733b3909d2d93d6ecc6312af16","ref":"refs/heads/main","pushedAt":"2023-09-26T00:35:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rrzhang139","name":"Richord","path":"/rrzhang139","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/54880614?s=80&v=4"},"commit":{"message":"proof assistant","shortMessageHtmlLink":"proof assistant"}},{"before":null,"after":"f5aa9f282fa11b24f0d36cc0fbffdab63aeaf0c6","ref":"refs/heads/main","pushedAt":"2023-08-22T03:02:28.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"rrzhang139","name":"Richord","path":"/rrzhang139","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/54880614?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":"djE6ks8AAAADiK-FPAA","startCursor":null,"endCursor":null}},"title":"Activity · rrzhang139/proof-assistant"}