{"push_id":1722968272,"size":1,"distinct_size":1,"ref":"refs/heads/dev","head":"4f16b38e62bbc22866b1e1293b2ce9bfa184c8ad","before":"e76d3627673c25f50da2fd51e82c8e3e4cebb5d9","commits":[{"sha":"4f16b38e62bbc22866b1e1293b2ce9bfa184c8ad","author":{"name":"Matthias","email":"f1cff21450e83c7ffbac6322489d8b4a568fcc91@informatik.uni-freiburg.de"},"message":"provide default implementations for several methods","distinct":true,"url":"https://api.github.com/repos/ultimate-pa/ultimate/commits/4f16b38e62bbc22866b1e1293b2ce9bfa184c8ad"}]}
{"actor":{"display_login":"Heizmann"}}