{"push_id":1538127786,"size":8,"distinct_size":0,"ref":"refs/heads/master","head":"e183919be9bf086cf700489ddebbb4c795e4e92e","before":"341dfd874583ea18a46a40a7fb0a41ec399b1465","commits":[{"sha":"cdfe5470568902f9099bfa804908bbb236cb0f0c","author":{"name":"Dennis Müller","email":"8274c4c7547082b22ec1835f2ea8603710d36a5e@jacobs-university.de"},"message":"update","distinct":false,"url":"https://api.github.com/repos/UniFormal/MMT/commits/cdfe5470568902f9099bfa804908bbb236cb0f0c"},{"sha":"d0c60e1f0e46b38533e9d67b1866d2da2a9e5ca8","author":{"name":"Dennis Müller","email":"8274c4c7547082b22ec1835f2ea8603710d36a5e@jacobs-university.de"},"message":"fixed","distinct":false,"url":"https://api.github.com/repos/UniFormal/MMT/commits/d0c60e1f0e46b38533e9d67b1866d2da2a9e5ca8"},{"sha":"0ac61ac05df9b3b6ea86d04c54eeba7a7210361f","author":{"name":"Dennis Müller","email":"8274c4c7547082b22ec1835f2ea8603710d36a5e@jacobs-university.de"},"message":"update","distinct":false,"url":"https://api.github.com/repos/UniFormal/MMT/commits/0ac61ac05df9b3b6ea86d04c54eeba7a7210361f"},{"sha":"c890c8566868db286964fcb1545b6f450c410f8e","author":{"name":"Dennis Müller","email":"8274c4c7547082b22ec1835f2ea8603710d36a5e@jacobs-university.de"},"message":"merged","distinct":false,"url":"https://api.github.com/repos/UniFormal/MMT/commits/c890c8566868db286964fcb1545b6f450c410f8e"},{"sha":"ab8a361ddb2c79c87b2cf5025f7e9e606a7c8650","author":{"name":"Dennis Müller","email":"8274c4c7547082b22ec1835f2ea8603710d36a5e@jacobs-university.de"},"message":"update","distinct":false,"url":"https://api.github.com/repos/UniFormal/MMT/commits/ab8a361ddb2c79c87b2cf5025f7e9e606a7c8650"},{"sha":"9c59eb6cc1b7b353e3ba54003e2f6796466d08cc","author":{"name":"Dennis Müller","email":"8274c4c7547082b22ec1835f2ea8603710d36a5e@jacobs-university.de"},"message":"MERGE Merge branch 'master' into PVS","distinct":false,"url":"https://api.github.com/repos/UniFormal/MMT/commits/9c59eb6cc1b7b353e3ba54003e2f6796466d08cc"},{"sha":"b980bdbe07ce8103bd0d014d631c249839f1fe7a","author":{"name":"Dennis Müller","email":"8274c4c7547082b22ec1835f2ea8603710d36a5e@jacobs-university.de"},"message":"update","distinct":false,"url":"https://api.github.com/repos/UniFormal/MMT/commits/b980bdbe07ce8103bd0d014d631c249839f1fe7a"},{"sha":"e183919be9bf086cf700489ddebbb4c795e4e92e","author":{"name":"Dennis Müller","email":"8274c4c7547082b22ec1835f2ea8603710d36a5e@jacobs-university.de"},"message":"merge Merge branch 'master' into PVS","distinct":false,"url":"https://api.github.com/repos/UniFormal/MMT/commits/e183919be9bf086cf700489ddebbb4c795e4e92e"}]}
{"actor":{"display_login":"Jazzpirate"}}