{"push_id":1386908564,"size":1,"distinct_size":1,"ref":"refs/heads/dev","head":"97e180297a1ca7624068cab3c208853fe10d3539","before":"47e5d4cc18c368f715bc5a509ba1f5694f99de93","commits":[{"sha":"97e180297a1ca7624068cab3c208853fe10d3539","author":{"name":"Claus Schätzle","email":"bda8b8793db79e967a1d7490bd8ca65ebb10f6b7@informatik.uni-freiburg.de"},"message":"correct runtimes (were correct the whole time)","distinct":true,"url":"https://api.github.com/repos/ultimate-pa/ultimate/commits/97e180297a1ca7624068cab3c208853fe10d3539"}]}
{"actor":{"display_login":"schaetzc"}}