{"push_id":901092691,"size":1,"distinct_size":1,"ref":"refs/heads/mvn-repo","head":"d6ef23e34db9031e09485235bc6b2115ea072289","before":"379f959c9880f24101e060f26a0826b0702b1f89","commits":[{"sha":"d6ef23e34db9031e09485235bc6b2115ea072289","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/d6ef23e34db9031e09485235bc6b2115ea072289"}]}