{"push_id":602409815,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"9d3522990986d303158a4640439eae66f08e80f8","before":"50ffba03faef488bf40961d5cc4704982cbc19d7","commits":[{"sha":"9d3522990986d303158a4640439eae66f08e80f8","author":{"email":"3a1c05c004277d80166b156dd286238d56564d3f@gmail.com","name":"Pietro Braione"},"message":"Bugfix in decision procedure chaining","distinct":true,"url":"https://api.github.com/repos/pietrobraione/jbse/commits/9d3522990986d303158a4640439eae66f08e80f8"}]}