{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":604346029,"defaultBranch":"main","name":"system","ownerLogin":"MizarProject","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-02-20T21:35:51.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/125394490?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1676929548.490777","currentOid":""},"activityList":{"items":[{"before":"06d2c77e02b9de37deef27d5226082f24afa4a76","after":"9e814a9568cfb44253d677e5209c360390fe6437","ref":"refs/heads/main","pushedAt":"2023-10-11T17:04:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"MizarProject","name":"Mizar Project","path":"/MizarProject","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/125394490?s=80&v=4"},"commit":{"message":"Flex-and substitution reported by Mario (4) fixed","shortMessageHtmlLink":"Flex-and substitution reported by Mario (4) fixed"}},{"before":"535387d4140ac3ff6d7652ee9c7113afa900dae2","after":"06d2c77e02b9de37deef27d5226082f24afa4a76","ref":"refs/heads/main","pushedAt":"2023-10-11T07:28:20.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"MizarProject","name":"Mizar Project","path":"/MizarProject","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/125394490?s=80&v=4"},"commit":{"message":"Limits MaxFuncNbr and MaxTheoNbr for exporter increased","shortMessageHtmlLink":"Limits MaxFuncNbr and MaxTheoNbr for exporter increased"}},{"before":"f399bba4c55612f9f090cedc085df1151dbfd87e","after":"535387d4140ac3ff6d7652ee9c7113afa900dae2","ref":"refs/heads/main","pushedAt":"2023-10-10T11:09:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"MizarProject","name":"Mizar Project","path":"/MizarProject","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/125394490?s=80&v=4"},"commit":{"message":"Polynomial overflow reported by Mario fixed","shortMessageHtmlLink":"Polynomial overflow reported by Mario fixed"}},{"before":"baeed3caf7ace56dd24c8981dec8438ab2da48c1","after":"f399bba4c55612f9f090cedc085df1151dbfd87e","ref":"refs/heads/main","pushedAt":"2023-10-04T12:33:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"MizarProject","name":"Mizar Project","path":"/MizarProject","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/125394490?s=80&v=4"},"commit":{"message":"Negations in schematizer corrected - reported by Mario (2)","shortMessageHtmlLink":"Negations in schematizer corrected - reported by Mario (2)"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADlNBAKAA","startCursor":null,"endCursor":null}},"title":"Activity · MizarProject/system"}