{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":88513783,"defaultBranch":"master","name":"coq-mtl","ownerLogin":"wkolowski","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2017-04-17T14:03:45.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/3518202?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1492437848.0","currentOid":""},"activityList":{"items":[{"before":"b6ae4a6bf4db1d3cd181c16447d738a67adf988b","after":"3dbb9b72737a70dda518d669406695cc83cf04f2","ref":"refs/heads/master","pushedAt":"2023-04-14T21:29:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"wkolowski","name":"Wojciech Kołowski","path":"/wkolowski","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3518202?s=80&v=4"},"commit":{"message":"Reindent code listings in the thesis.","shortMessageHtmlLink":"Reindent code listings in the thesis."}},{"before":"e3ecb0cf0378e62816d391783e7421d769aec26b","after":"b6ae4a6bf4db1d3cd181c16447d738a67adf988b","ref":"refs/heads/master","pushedAt":"2023-04-02T00:26:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"wkolowski","name":"Wojciech Kołowski","path":"/wkolowski","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3518202?s=80&v=4"},"commit":{"message":"Use bullets in all proofs.","shortMessageHtmlLink":"Use bullets in all proofs."}},{"before":"054bd16bcf16632fb39ffc95746ea0be2791f6a2","after":"e3ecb0cf0378e62816d391783e7421d769aec26b","ref":"refs/heads/master","pushedAt":"2023-03-22T02:52:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"wkolowski","name":"Wojciech Kołowski","path":"/wkolowski","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3518202?s=80&v=4"},"commit":{"message":"Reduce indentation by 4 spaces for classes and instances.","shortMessageHtmlLink":"Reduce indentation by 4 spaces for classes and instances."}},{"before":"a58433c1f342246a449d18ea221127a22ef1d5d9","after":"054bd16bcf16632fb39ffc95746ea0be2791f6a2","ref":"refs/heads/master","pushedAt":"2023-03-21T22:59:47.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"wkolowski","name":"Wojciech Kołowski","path":"/wkolowski","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3518202?s=80&v=4"},"commit":{"message":"Reduce indentation by 4 spaces for inductives and pattern matching.","shortMessageHtmlLink":"Reduce indentation by 4 spaces for inductives and pattern matching."}},{"before":"8a65f11df0c2feb2821de8afe1a389247fe7837f","after":"a58433c1f342246a449d18ea221127a22ef1d5d9","ref":"refs/heads/master","pushedAt":"2023-03-14T01:57:39.356Z","pushType":"push","commitsCount":2,"pusher":{"login":"wkolowski","name":"Wojciech Kołowski","path":"/wkolowski","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3518202?s=80&v=4"},"commit":{"message":"Remove the Papers/ directory, to be moved to a separate repo.","shortMessageHtmlLink":"Remove the Papers/ directory, to be moved to a separate repo."}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyMy0wNC0xNFQyMToyOTozMi4wMDAwMDBazwAAAAMZHj-9","startCursor":"Y3Vyc29yOnYyOpK7MjAyMy0wNC0xNFQyMToyOTozMi4wMDAwMDBazwAAAAMZHj-9","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0wMy0xNFQwMTo1NzozOS4zNTYwNjhazwAAAAMCt59v"}},"title":"Activity · wkolowski/coq-mtl"}