{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":11463670,"defaultBranch":"master","name":"lean3","ownerLogin":"leanprover","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2013-07-17T00:42:34.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/7233018?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1572817380.0","currentOid":""},"activityList":{"items":[{"before":"a0d725d217aec84816cc451c8c79ef42c31c2043","after":"f8ed407d073e172eb9131e836b416f29628375fd","ref":"refs/heads/master","pushedAt":"2023-10-14T22:40:02.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"leodemoura","name":"Leonardo de Moura","path":"/leodemoura","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2778936?s=80&v=4"},"commit":{"message":"chore: update README","shortMessageHtmlLink":"chore: update README"}},{"before":"72a965986fa5aeae54062e98efb3140b2c4e79fd","after":"a0d725d217aec84816cc451c8c79ef42c31c2043","ref":"refs/heads/master","pushedAt":"2023-10-14T22:39:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"leodemoura","name":"Leonardo de Moura","path":"/leodemoura","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2778936?s=80&v=4"},"commit":{"message":"chore: update README","shortMessageHtmlLink":"chore: update README"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADlyiQ8QA","startCursor":null,"endCursor":null}},"title":"Activity · leanprover/lean3"}