{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":331006146,"defaultBranch":"master","name":"fibred-polynomials","ownerLogin":"smimram","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2021-01-19T14:25:52.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/2012073?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1611071095.0","currentOid":""},"activityList":{"items":[{"before":"c7380c7a283936e522fb96269ba32e4a036ed158","after":"7fc06620343eaec66793fda5f4bcac79efb72f71","ref":"refs/heads/master","pushedAt":"2023-03-21T16:31:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"smimram","name":"Samuel Mimram","path":"/smimram","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/2012073?s=80&v=4"},"commit":{"message":"Compile with latest Agda.","shortMessageHtmlLink":"Compile with latest Agda."}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyMy0wMy0yMVQxNjozMTo1MC4wMDAwMDBazwAAAAMIL73m","startCursor":"Y3Vyc29yOnYyOpK7MjAyMy0wMy0yMVQxNjozMTo1MC4wMDAwMDBazwAAAAMIL73m","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0wMy0yMVQxNjozMTo1MC4wMDAwMDBazwAAAAMIL73m"}},"title":"Activity · smimram/fibred-polynomials"}