{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":239362030,"defaultBranch":"master","name":"bmo2-2020-lean","ownerLogin":"jsm28","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2020-02-09T19:33:15.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/10537793?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1581276842.0","currentOid":""},"activityList":{"items":[{"before":"c2c1598513562580f195b642668be9db1446869f","after":"ff87ce51ed080d462e63c5549d5f2b377ad83204","ref":"refs/heads/master","pushedAt":"2023-07-19T23:01:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jsm28","name":"Joseph Myers","path":"/jsm28","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10537793?s=80&v=4"},"commit":{"message":"Mark code as unmaintained and not planned for conversion to Lean 4","shortMessageHtmlLink":"Mark code as unmaintained and not planned for conversion to Lean 4"}},{"before":"b008ce94248cdb127936c48d31742b62a74574b8","after":"c2c1598513562580f195b642668be9db1446869f","ref":"refs/heads/master","pushedAt":"2023-07-19T23:00:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jsm28","name":"Joseph Myers","path":"/jsm28","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10537793?s=80&v=4"},"commit":{"message":"Update mathlib version used","shortMessageHtmlLink":"Update mathlib version used"}},{"before":"3550341c09dc3be6b154cb3deca13d690245a04f","after":"b008ce94248cdb127936c48d31742b62a74574b8","ref":"refs/heads/master","pushedAt":"2023-05-26T00:51:04.165Z","pushType":"push","commitsCount":1,"pusher":{"login":"jsm28","name":"Joseph Myers","path":"/jsm28","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10537793?s=80&v=4"},"commit":{"message":"Update Lean and mathlib versions used","shortMessageHtmlLink":"Update Lean and mathlib versions used"}},{"before":"7a8d152befb4aa7f9fc5d71dcb9b4d295ddec6dc","after":"3550341c09dc3be6b154cb3deca13d690245a04f","ref":"refs/heads/master","pushedAt":"2023-04-29T12:19:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jsm28","name":"Joseph Myers","path":"/jsm28","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10537793?s=80&v=4"},"commit":{"message":"Update mathlib version used","shortMessageHtmlLink":"Update mathlib version used"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyMy0wNy0xOVQyMzowMToxNS4wMDAwMDBazwAAAANZJDQn","startCursor":"Y3Vyc29yOnYyOpK7MjAyMy0wNy0xOVQyMzowMToxNS4wMDAwMDBazwAAAANZJDQn","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0wNC0yOVQxMjoxOToyNi4wMDAwMDBazwAAAAMi0VxI"}},"title":"Activity · jsm28/bmo2-2020-lean"}