{"push_id":868586324,"size":1,"distinct_size":1,"ref":"refs/heads/mvn-repo","head":"173798c5b2981fde65735925e5f4024d5081dfe7","before":"838832b2a7b110ec11ef7ffbd85efd37c0db0333","commits":[{"sha":"173798c5b2981fde65735925e5f4024d5081dfe7","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/173798c5b2981fde65735925e5f4024d5081dfe7"}]}