{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":637875653,"defaultBranch":"main","name":"cvc5","ownerLogin":"tniessen","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2023-05-08T15:41:08.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/3109072?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1683560682.576009","currentOid":""},"activityList":{"items":[{"before":"af7b2dfc9b2b9e87851b77bc96513cce51f3b588","after":"4657323b77c037591de142535bf188131b2f2ce9","ref":"refs/heads/patch-1","pushedAt":"2023-05-19T18:23:20.920Z","pushType":"push","commitsCount":3,"pusher":{"login":"cvc5-bot","name":null,"path":"/cvc5-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/95514519?s=80&v=4"},"commit":{"message":"Merge branch 'main' into patch-1","shortMessageHtmlLink":"Merge branch 'main' into patch-1"}},{"before":"7317836ee60e264fcef33de7065952b4384246d1","after":"af7b2dfc9b2b9e87851b77bc96513cce51f3b588","ref":"refs/heads/patch-1","pushedAt":"2023-05-19T17:27:04.899Z","pushType":"push","commitsCount":34,"pusher":{"login":"cvc5-bot","name":null,"path":"/cvc5-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/95514519?s=80&v=4"},"commit":{"message":"Merge branch 'main' into patch-1","shortMessageHtmlLink":"Merge branch 'main' into patch-1"}},{"before":"7087e067db949b4f07c6e3753940818925f262bd","after":"7317836ee60e264fcef33de7065952b4384246d1","ref":"refs/heads/patch-1","pushedAt":"2023-05-08T15:47:02.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"tniessen","name":"Tobias Nießen","path":"/tniessen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3109072?s=80&v=4"},"commit":{"message":"Fix description of Solver::isOutputOn()\n\nSigned-off-by: Tobias Nießen <tniessen@tnie.de>","shortMessageHtmlLink":"Fix description of Solver::isOutputOn()"}},{"before":"94e6d46745250c4bfc934d259299ad25e5fad492","after":"7087e067db949b4f07c6e3753940818925f262bd","ref":"refs/heads/patch-1","pushedAt":"2023-05-08T15:44:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tniessen","name":"Tobias Nießen","path":"/tniessen","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3109072?s=80&v=4"},"commit":{"message":"Fix description of Solver::isOutputOn()","shortMessageHtmlLink":"Fix description of Solver::isOutputOn()"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADMF-PHwA","startCursor":null,"endCursor":null}},"title":"Activity · tniessen/cvc5"}