{"push_id":726592963,"size":3,"distinct_size":1,"ref":"refs/heads/master","head":"954ca328bb583ae146c7d2282cbe2f520708c867","before":"c3bf9e10c1b5d3a524ca18408f53e915eb0dda97","commits":[{"sha":"582dcce6f70003f84b57c35a7588b3f07266535b","author":{"email":"036c34aa827f054a0cb1644dadfa36f1f7ef6454@gmail.com","name":"Martin Gropp"},"message":"Maven artifacts for 0.1-SNAPSHOT","distinct":false,"url":"https://api.github.com/repos/uds-lsv/platon/commits/582dcce6f70003f84b57c35a7588b3f07266535b"},{"sha":"31865d21005886a3172009e2f6695e2fd54a73a5","author":{"email":"036c34aa827f054a0cb1644dadfa36f1f7ef6454@gmail.com","name":"Martin Gropp"},"message":"Maven artifacts for 0.1-SNAPSHOT","distinct":false,"url":"https://api.github.com/repos/uds-lsv/platon/commits/31865d21005886a3172009e2f6695e2fd54a73a5"},{"sha":"954ca328bb583ae146c7d2282cbe2f520708c867","author":{"email":"036c34aa827f054a0cb1644dadfa36f1f7ef6454@lsv.uni-saarland.de","name":"Martin Gropp"},"message":"Merge branch 'mvn-repo' of github.com:uds-lsv/platon","distinct":true,"url":"https://api.github.com/repos/uds-lsv/platon/commits/954ca328bb583ae146c7d2282cbe2f520708c867"}]}