{"push_id":881420699,"size":1,"distinct_size":1,"ref":"refs/heads/mvn-repo","head":"dc4da5243df6c1e5c25b73da874cd52117c20cb3","before":"10a8b8301deba42f98c4309b5075995123ba1583","commits":[{"sha":"dc4da5243df6c1e5c25b73da874cd52117c20cb3","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/dc4da5243df6c1e5c25b73da874cd52117c20cb3"}]}