{"push_id":1249592795,"size":1,"distinct_size":1,"ref":"refs/heads/dev","head":"fee7b9cc2d403a8465c182ed0789d24f2a0fd218","before":"ad69c6859a0892fe7ccb941fda69a780bb8b5a8d","commits":[{"sha":"fee7b9cc2d403a8465c182ed0789d24f2a0fd218","author":{"name":"Matthias Heizmann","email":"f1cff21450e83c7ffbac6322489d8b4a568fcc91@informatik.uni-freiburg.de"},"message":"remove unused methods","distinct":true,"url":"https://api.github.com/repos/ultimate-pa/ultimate/commits/fee7b9cc2d403a8465c182ed0789d24f2a0fd218"}]}
{"actor":{"display_login":"Heizmann"}}