{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":679979137,"defaultBranch":"main","name":"lean-dojo-mew","ownerLogin":"rah4927","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-08-18T04:10:06.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/29117205?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1692331816.0","currentOid":""},"activityList":{"items":[{"before":"e74280bf15c3737e3d529ddc8e5d8f499da25a2c","after":"d00c776260c77de7e70125ef0cd119de6c0ff1de","ref":"refs/heads/main","pushedAt":"2023-09-23T00:35:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rah4927","name":null,"path":"/rah4927","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29117205?s=80&v=4"},"commit":{"message":"fixed All.lean","shortMessageHtmlLink":"fixed All.lean"}},{"before":"93384e5f25057c405e9d56f98c5cf59d792b0b19","after":"e74280bf15c3737e3d529ddc8e5d8f499da25a2c","ref":"refs/heads/main","pushedAt":"2023-09-11T02:57:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rah4927","name":null,"path":"/rah4927","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29117205?s=80&v=4"},"commit":{"message":"added Test set","shortMessageHtmlLink":"added Test set"}},{"before":"fc90ab4a50554fa290136bfe2296980c8a0c328d","after":"93384e5f25057c405e9d56f98c5cf59d792b0b19","ref":"refs/heads/main","pushedAt":"2023-09-07T19:06:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rah4927","name":null,"path":"/rah4927","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29117205?s=80&v=4"},"commit":{"message":"commit","shortMessageHtmlLink":"commit"}},{"before":"2891e2bd54bd3dfbcec48b91ab2b8a09d048e3dc","after":"fc90ab4a50554fa290136bfe2296980c8a0c328d","ref":"refs/heads/main","pushedAt":"2023-09-02T03:40:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rah4927","name":null,"path":"/rah4927","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29117205?s=80&v=4"},"commit":{"message":"commit","shortMessageHtmlLink":"commit"}},{"before":"e0f6443f70c269c856c325d05481a80eab0c2930","after":"2891e2bd54bd3dfbcec48b91ab2b8a09d048e3dc","ref":"refs/heads/main","pushedAt":"2023-08-30T03:51:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rah4927","name":null,"path":"/rah4927","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29117205?s=80&v=4"},"commit":{"message":"commit","shortMessageHtmlLink":"commit"}},{"before":"12fec4d9f39ac9a41c6c1f058efab3ec41c028af","after":"e0f6443f70c269c856c325d05481a80eab0c2930","ref":"refs/heads/main","pushedAt":"2023-08-27T21:34:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rah4927","name":null,"path":"/rah4927","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29117205?s=80&v=4"},"commit":{"message":"all theorems","shortMessageHtmlLink":"all theorems"}},{"before":"ac9d0e05ed1022478f87596ab068a74d9d84a057","after":"12fec4d9f39ac9a41c6c1f058efab3ec41c028af","ref":"refs/heads/main","pushedAt":"2023-08-22T19:44:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rah4927","name":null,"path":"/rah4927","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29117205?s=80&v=4"},"commit":{"message":"commit","shortMessageHtmlLink":"commit"}},{"before":"3940892546b1371385b34871d73015b9ae50b77a","after":"ac9d0e05ed1022478f87596ab068a74d9d84a057","ref":"refs/heads/main","pushedAt":"2023-08-22T19:36:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rah4927","name":null,"path":"/rah4927","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29117205?s=80&v=4"},"commit":{"message":"commit","shortMessageHtmlLink":"commit"}},{"before":"b0debbf0d9e7c7838dcbc4352dde0b310bd2b737","after":"3940892546b1371385b34871d73015b9ae50b77a","ref":"refs/heads/main","pushedAt":"2023-08-18T04:25:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rah4927","name":null,"path":"/rah4927","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29117205?s=80&v=4"},"commit":{"message":"commit","shortMessageHtmlLink":"commit"}},{"before":"c9e978ef8b2ea42fd6576de6c92e845d38854b65","after":"b0debbf0d9e7c7838dcbc4352dde0b310bd2b737","ref":"refs/heads/main","pushedAt":"2023-08-18T04:21:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"rah4927","name":null,"path":"/rah4927","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29117205?s=80&v=4"},"commit":{"message":"commit","shortMessageHtmlLink":"commit"}},{"before":null,"after":"c9e978ef8b2ea42fd6576de6c92e845d38854b65","ref":"refs/heads/main","pushedAt":"2023-08-18T04:10:16.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"rah4927","name":null,"path":"/rah4927","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/29117205?s=80&v=4"},"commit":{"message":"empty repository","shortMessageHtmlLink":"empty repository"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyMy0wOS0yM1QwMDozNTowMC4wMDAwMDBazwAAAAOHA2aq","startCursor":"Y3Vyc29yOnYyOpK7MjAyMy0wOS0yM1QwMDozNTowMC4wMDAwMDBazwAAAAOHA2aq","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0wOC0xOFQwNDoxMDoxNi4wMDAwMDBazwAAAANtQMaI"}},"title":"Activity · rah4927/lean-dojo-mew"}