{"push_id":869279644,"size":1,"distinct_size":1,"ref":"refs/heads/mvn-repo","head":"86c3629b9fff0c4e9bed571cb1919335584272b2","before":"43ef339529a638f6ba79a432da7f92ffb038f199","commits":[{"sha":"86c3629b9fff0c4e9bed571cb1919335584272b2","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/86c3629b9fff0c4e9bed571cb1919335584272b2"}]}