{"push_id":1447149493,"size":1,"distinct_size":1,"ref":"refs/heads/dev","head":"bdbc4ae8148b88d38afa823ad32599e61dca1c29","before":"dde6a3a8c6faaa3a1920a23898a817384641311b","commits":[{"sha":"bdbc4ae8148b88d38afa823ad32599e61dca1c29","author":{"name":"Daniel Dietsch","email":"0b6c7c1889aa00a27e30d1435300605cf941745f@gmail.com"},"message":"fix additional parameters in wrapper script","distinct":true,"url":"https://api.github.com/repos/ultimate-pa/ultimate/commits/bdbc4ae8148b88d38afa823ad32599e61dca1c29"}]}
{"actor":{"display_login":"danieldietsch"}}