{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":361859169,"defaultBranch":"master","name":"DEMaxSatSolver","ownerLogin":"Manuframil","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2021-04-26T18:46:49.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/43822715?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1690028940.0","currentOid":""},"activityList":{"items":[{"before":null,"after":"5cd8bab292bdd4d0a8018f1e613e8ff0f8ebee1f","ref":"refs/heads/hard-soft-clauses","pushedAt":"2023-07-22T12:29:00.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Manuframil","name":"Manuel Framil","path":"/Manuframil","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/43822715?s=80&v=4"},"commit":{"message":"WCNF parsed updated to separate hard and soft clauses","shortMessageHtmlLink":"WCNF parsed updated to separate hard and soft clauses"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADWuydyAA","startCursor":null,"endCursor":null}},"title":"Activity · Manuframil/DEMaxSatSolver"}