{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":55012639,"defaultBranch":"master","name":"fitch","ownerLogin":"palmskog","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2016-03-29T21:44:50.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/397424?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1576381371.0","currentOid":""},"activityList":{"items":[{"before":"73e3c6c0b395ddbf15ae49df471353317e81a27f","after":"09df8fba82bab71c087b2e703f0f5ec66a0e8d85","ref":"refs/heads/master","pushedAt":"2023-11-21T18:50:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"build fixes","shortMessageHtmlLink":"build fixes"}},{"before":"4410f6d02a848afd8cc958aea6c9784eb2b581f6","after":"73e3c6c0b395ddbf15ae49df471353317e81a27f","ref":"refs/heads/master","pushedAt":"2023-11-21T18:24:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"palmskog","name":"Karl Palmskog","path":"/palmskog","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/397424?s=80&v=4"},"commit":{"message":"update for Coq 8.16, include Ott-generated sources","shortMessageHtmlLink":"update for Coq 8.16, include Ott-generated sources"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyMy0xMS0yMVQxODo1MDoxOC4wMDAwMDBazwAAAAO0j9AJ","startCursor":"Y3Vyc29yOnYyOpK7MjAyMy0xMS0yMVQxODo1MDoxOC4wMDAwMDBazwAAAAO0j9AJ","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0xMS0yMVQxODoyNDoyNS4wMDAwMDBazwAAAAO0iw86"}},"title":"Activity · palmskog/fitch"}