{"push_id":981731162,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"9713b6da43d3dfd987c689cb88fa441c196fd461","before":"cd4ecd776adcf30cc89e49cf4f5776695b99cb0a","commits":[{"sha":"9713b6da43d3dfd987c689cb88fa441c196fd461","author":{"email":"0baea0b83d46ad6f61fc715c5e2f56c27191df61@gmail.com","name":"Miklos Maroti"},"message":"validate all solvers","distinct":true,"url":"https://api.github.com/repos/mmaroti/jnisat/commits/9713b6da43d3dfd987c689cb88fa441c196fd461"}]}