{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":653281407,"defaultBranch":"main","name":"affine-constructive-maths","ownerLogin":"jlottes","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-06-13T18:46:25.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/1592097?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1686681999.1853702","currentOid":""},"activityList":{"items":[{"before":"242d00d025dc01a74f7d9113041430460ea8ae39","after":"c753ed1aeb9228e34d2503d666c2b70dd83e4db6","ref":"refs/heads/main","pushedAt":"2023-06-21T03:01:13.753Z","pushType":"push","commitsCount":1,"pusher":{"login":"jlottes","name":"James Lottes","path":"/jlottes","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1592097?s=80&v=4"},"commit":{"message":"tentative start of ordered ring development","shortMessageHtmlLink":"tentative start of ordered ring development"}},{"before":"6cb5af70da4763f59b89e11e7c98b97d742b008c","after":"242d00d025dc01a74f7d9113041430460ea8ae39","ref":"refs/heads/main","pushedAt":"2023-06-13T19:48:47.858Z","pushType":"push","commitsCount":1,"pusher":{"login":"jlottes","name":"James Lottes","path":"/jlottes","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1592097?s=80&v=4"},"commit":{"message":"add docs → html symbolic link","shortMessageHtmlLink":"add docs → html symbolic link"}},{"before":"5f8010386f3712921552a8679095768da6761d3d","after":"6cb5af70da4763f59b89e11e7c98b97d742b008c","ref":"refs/heads/main","pushedAt":"2023-06-13T19:43:52.310Z","pushType":"push","commitsCount":1,"pusher":{"login":"jlottes","name":"James Lottes","path":"/jlottes","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1592097?s=80&v=4"},"commit":{"message":"add coqdoc generated html","shortMessageHtmlLink":"add coqdoc generated html"}},{"before":"8a30b51491febf2141e3db8445e3384485fa55d5","after":"5f8010386f3712921552a8679095768da6761d3d","ref":"refs/heads/main","pushedAt":"2023-06-13T19:37:08.511Z","pushType":"push","commitsCount":1,"pusher":{"login":"jlottes","name":"James Lottes","path":"/jlottes","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1592097?s=80&v=4"},"commit":{"message":"Create README.md","shortMessageHtmlLink":"Create README.md"}},{"before":null,"after":"8a30b51491febf2141e3db8445e3384485fa55d5","ref":"refs/heads/main","pushedAt":"2023-06-13T18:46:39.185Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"jlottes","name":"James Lottes","path":"/jlottes","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1592097?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":"djE6ks8AAAADRbKbvQA","startCursor":null,"endCursor":null}},"title":"Activity · jlottes/affine-constructive-maths"}