{"push_id":899393377,"size":1,"distinct_size":1,"ref":"refs/heads/mvn-repo","head":"031beff71e4ce1a8f3635b288af5a58c8b9d564c","before":"8f320725484eedc0cccf9d9856a50a0be8fe05a3","commits":[{"sha":"031beff71e4ce1a8f3635b288af5a58c8b9d564c","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/031beff71e4ce1a8f3635b288af5a58c8b9d564c"}]}