{"push_id":1264644822,"size":1,"distinct_size":1,"ref":"refs/heads/dev","head":"63b68c695e1b4acf79853f8aa614be7b8a95705d","before":"f20101c7fcfe5788e515a0c8717aab275a42067c","commits":[{"sha":"63b68c695e1b4acf79853f8aa614be7b8a95705d","author":{"name":"Matthias Heizmann","email":"f1cff21450e83c7ffbac6322489d8b4a568fcc91@informatik.uni-freiburg.de"},"message":"renamed GeometricNonTerminationArgumentResult","distinct":true,"url":"https://api.github.com/repos/ultimate-pa/ultimate/commits/63b68c695e1b4acf79853f8aa614be7b8a95705d"}]}
{"actor":{"display_login":"Heizmann"}}