{"push_id":2637978789,"size":1,"distinct_size":1,"ref":"refs/heads/dev","head":"bae64f29170f4902e7d8c7ba05f95519ff19a84a","before":"8d4c42138a16a5f2c6cfa796595b75b35e47c88f","commits":[{"sha":"bae64f29170f4902e7d8c7ba05f95519ff19a84a","author":{"name":"Matthias Heizmann","email":"391fc5c0117c02176174adcfae9fe199a080e7ac@informatik.uni-freiburg.de"},"message":"improve code of Referee","distinct":true,"url":"https://api.github.com/repos/ultimate-pa/ultimate/commits/bae64f29170f4902e7d8c7ba05f95519ff19a84a"}]}
{"actor":{"display_login":"Heizmann"}}