{"push_id":2305263327,"size":1,"distinct_size":0,"ref":"refs/heads/feature/minisat-like-conflict-analysis","head":"cbdd8c4eea21d5071159c647292e2e857aa89316","before":"c9685cc1bae77e4946cc706c0ebc69f47130d600","commits":[{"sha":"cbdd8c4eea21d5071159c647292e2e857aa89316","author":{"name":"Masahiro Sakai","email":"5b6091dc7201f72c8fd3040bf4a9c632c03d03a4@gmail.com"},"message":"ToySoler.SAT: merge analyzeConflictHybrid into analyzeConflict","distinct":false,"url":"https://api.github.com/repos/msakai/toysolver/commits/cbdd8c4eea21d5071159c647292e2e857aa89316"}]}
{"actor":{"display_login":"msakai"}}