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