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