{"push_id":786692587,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"af8675de111448b161e813a990ca16c18c840507","before":"d251c3a07bedd8f782481ef95813e593e70b8cde","commits":[{"sha":"af8675de111448b161e813a990ca16c18c840507","author":{"email":"a1debd7f3d9036292773dd21463eb601946b38d8@x80.org","name":"Emilio Jesus Gallego Arias"},"message":"Improve a bit the behavior wrt to missing solvers.","distinct":true,"url":"https://api.github.com/repos/ejgallego/HOARe2/commits/af8675de111448b161e813a990ca16c18c840507"}]}