{"push_id":770796247,"size":1,"distinct_size":1,"ref":"refs/heads/mvn-repo","head":"efee42a0da01f1f4a7bee5e9eec3419b8b0b9a88","before":"1a130f8c2144cc54073d1b85c0da94983304755f","commits":[{"sha":"efee42a0da01f1f4a7bee5e9eec3419b8b0b9a88","author":{"email":"478731c6c0785260204281d4ab2272fb24ad5b84@gmail.com","name":"claudiomenghi"},"message":"Maven artifacts for 0.0.1-SNAPSHOT","distinct":true,"url":"https://api.github.com/repos/claudiomenghi/IncompleteAutomataBasedModelChecking/commits/efee42a0da01f1f4a7bee5e9eec3419b8b0b9a88"}]}