{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":727288501,"defaultBranch":"master","name":"PG","ownerLogin":"jw960","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2023-12-04T15:08:49.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/150268955?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1701702536.9732769","currentOid":""},"activityList":{"items":[{"before":"879444ca374dc67e89f305b03d5e764bab863c55","after":"83c43e50d30287c43eac436fe4a4f014e1d6bc95","ref":"refs/heads/master","pushedAt":"2023-12-04T15:14:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jw960","name":null,"path":"/jw960","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/150268955?s=80&v=4"},"commit":{"message":"pin Coq version","shortMessageHtmlLink":"pin Coq version"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADwKD9dwA","startCursor":null,"endCursor":null}},"title":"Activity · jw960/PG"}