{"push_id":2850096276,"size":1,"distinct_size":1,"ref":"refs/heads/dev","head":"27cf5db2b56b8d6199d9551d67dcef022a3e0f48","before":"a55d3138e55ace83606944c4d25bb0a9a41ebe9e","commits":[{"sha":"27cf5db2b56b8d6199d9551d67dcef022a3e0f48","author":{"name":"Matthias Heizmann","email":"391fc5c0117c02176174adcfae9fe199a080e7ac@informatik.uni-freiburg.de"},"message":"bugfix pthread_mutex_lock","distinct":true,"url":"https://api.github.com/repos/ultimate-pa/ultimate/commits/27cf5db2b56b8d6199d9551d67dcef022a3e0f48"}]}
{"actor":{"display_login":"Heizmann"}}