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