{"push_id":2022486560,"size":1,"distinct_size":1,"ref":"refs/heads/dev","head":"58cd1e92cf35abe09a73ff47483fb0fb7bddce13","before":"3024aebb38c9014933533f6656454f9f4bb5bcc2","commits":[{"sha":"58cd1e92cf35abe09a73ff47483fb0fb7bddce13","author":{"name":"Matthias","email":"f1cff21450e83c7ffbac6322489d8b4a568fcc91@informatik.uni-freiburg.de"},"message":"bugfix real literal translation","distinct":true,"url":"https://api.github.com/repos/ultimate-pa/ultimate/commits/58cd1e92cf35abe09a73ff47483fb0fb7bddce13"}]}
{"actor":{"display_login":"Heizmann"}}