{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":551457750,"defaultBranch":"main","name":"agda-veblen","ownerLogin":"choukh","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2022-10-14T12:43:47.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/19528659?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1665751529.4771671","currentOid":""},"activityList":{"items":[{"before":"c8b505f52b4d1f5f52c90e44fa987dd34cca6255","after":"b5bdf30025bfeb85959c14427e7a1fa815e847e4","ref":"refs/heads/main","pushedAt":"2024-06-24T12:24:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"choukh","name":"Chou Kyuhei","path":"/choukh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/19528659?s=80&v=4"},"commit":{"message":"veblen","shortMessageHtmlLink":"veblen"}},{"before":"34b6bbc87b5c809eb3203ad429ec18a93076124e","after":"c8b505f52b4d1f5f52c90e44fa987dd34cca6255","ref":"refs/heads/main","pushedAt":"2024-06-24T12:06:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"choukh","name":"Chou Kyuhei","path":"/choukh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/19528659?s=80&v=4"},"commit":{"message":"fix","shortMessageHtmlLink":"fix"}},{"before":"e975f241fcdf63cbfd90e2ee7d136f8f9520c88a","after":"34b6bbc87b5c809eb3203ad429ec18a93076124e","ref":"refs/heads/main","pushedAt":"2024-06-24T11:46:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"choukh","name":"Chou Kyuhei","path":"/choukh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/19528659?s=80&v=4"},"commit":{"message":"up to veblen","shortMessageHtmlLink":"up to veblen"}},{"before":"10e43b5d5ddcde97a08c4aa396738bf4b9d7d62b","after":"e975f241fcdf63cbfd90e2ee7d136f8f9520c88a","ref":"refs/heads/main","pushedAt":"2024-06-24T11:42:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"choukh","name":"Chou Kyuhei","path":"/choukh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/19528659?s=80&v=4"},"commit":{"message":"up to veblen","shortMessageHtmlLink":"up to veblen"}},{"before":"b15639faf6e577633233ae8ca7ad39fff99a154b","after":"10e43b5d5ddcde97a08c4aa396738bf4b9d7d62b","ref":"refs/heads/main","pushedAt":"2023-10-26T12:37:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"choukh","name":"Chou Kyuhei","path":"/choukh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/19528659?s=80&v=4"},"commit":{"message":"for yuque","shortMessageHtmlLink":"for yuque"}},{"before":"5ef2d96326974ee8a89f1898a81d483d54fc7163","after":"b15639faf6e577633233ae8ca7ad39fff99a154b","ref":"refs/heads/main","pushedAt":"2023-10-26T08:24:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"choukh","name":"Chou Kyuhei","path":"/choukh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/19528659?s=80&v=4"},"commit":{"message":"1-0","shortMessageHtmlLink":"1-0"}},{"before":"f3f53c2c247bca8c57fd4d434f69ccb94758006b","after":"5ef2d96326974ee8a89f1898a81d483d54fc7163","ref":"refs/heads/main","pushedAt":"2023-10-26T08:23:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"choukh","name":"Chou Kyuhei","path":"/choukh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/19528659?s=80&v=4"},"commit":{"message":"1-0","shortMessageHtmlLink":"1-0"}},{"before":"48d75e0d4aa4bcb0069d23b15a84df2afaebbec5","after":"f3f53c2c247bca8c57fd4d434f69ccb94758006b","ref":"refs/heads/main","pushedAt":"2023-05-30T03:59:02.302Z","pushType":"push","commitsCount":1,"pusher":{"login":"choukh","name":"Chou Kyuhei","path":"/choukh","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/19528659?s=80&v=4"},"commit":{"message":"fix readme","shortMessageHtmlLink":"fix readme"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNi0yNFQxMjoyNDoxMy4wMDAwMDBazwAAAARtfRrL","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0wNS0zMFQwMzo1OTowMi4zMDIwMjVazwAAAAM2pGrg"}},"title":"Activity · choukh/agda-veblen"}