{"push_id":1066913123,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"498dfafa260fcb8e79b7bc60cc239782aef0ad0d","before":"a7470ebcbbd7a5f5439808bad765ab5a99bad3dd","commits":[{"sha":"498dfafa260fcb8e79b7bc60cc239782aef0ad0d","author":{"email":"95c6054e1c1a76243f8794deafb48c7a9a5267a6@hotmail.fr","name":"scalexm"},"message":"Update run_inst.sh","distinct":true,"url":"https://api.github.com/repos/scalexm/sat_solver/commits/498dfafa260fcb8e79b7bc60cc239782aef0ad0d"}]}