{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":71513542,"defaultBranch":"master","name":"theorem_proving_in_lean","ownerLogin":"leanprover","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2016-10-20T23:51:17.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/7233018?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1629830739.1714702","currentOid":""},"activityList":{"items":[{"before":"e2c66ade7fa8dcf2a3e0d19094dce8744d6a3490","after":"a67973d3922fc98133891d03b38e541360f5fa93","ref":"refs/heads/gh-pages","pushedAt":"2023-04-25T23:58:35.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"avigad","name":"Jeremy Avigad","path":"/avigad","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2783534?s=80&v=4"},"commit":{"message":"Update Tue 25 Apr 2023 07:58:33 PM EDT","shortMessageHtmlLink":"Update Tue 25 Apr 2023 07:58:33 PM EDT"}},{"before":"7ba05403a4689840bffc96ed017ac582e2d4ce37","after":"107713110cf6abc291ba0e4a26b447d3fe23fe62","ref":"refs/heads/master","pushedAt":"2023-04-25T23:57:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"avigad","name":"Jeremy Avigad","path":"/avigad","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2783534?s=80&v=4"},"commit":{"message":"fix import","shortMessageHtmlLink":"fix import"}},{"before":"6cd7dd5d5c225a46a29bedd0081468c5b097c424","after":"7ba05403a4689840bffc96ed017ac582e2d4ce37","ref":"refs/heads/master","pushedAt":"2023-04-25T23:40:31.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"avigad","name":"Jeremy Avigad","path":"/avigad","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2783534?s=80&v=4"},"commit":{"message":"fix typo in quantifiers_and_equality","shortMessageHtmlLink":"fix typo in quantifiers_and_equality"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADIEBj6AA","startCursor":null,"endCursor":null}},"title":"Activity · leanprover/theorem_proving_in_lean"}