{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":177897695,"defaultBranch":"master","name":"minisat-ml","ownerLogin":"imandra-ai","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2019-03-27T01:42:56.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/6567427?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1555439230.0","currentOid":""},"activityList":{"items":[{"before":"7e942e95e88a2443bd449f8e470aa7d68cead2be","after":"30d21de298c7e0bab8798e88aa923c932595d5cd","ref":"refs/heads/master","pushedAt":"2023-03-26T04:37:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"c-cube","name":"Simon Cruanes","path":"/c-cube","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1274291?s=80&v=4"},"commit":{"message":"script","shortMessageHtmlLink":"script"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADC1cYLAA","startCursor":null,"endCursor":null}},"title":"Activity · imandra-ai/minisat-ml"}