{"push_id":1374865547,"size":1,"distinct_size":1,"ref":"refs/heads/dev","head":"ce62cecafae27e5b3382396620a3246590a34029","before":"9e64e608436854ce38fba5b8101ff2fe1419ca5b","commits":[{"sha":"ce62cecafae27e5b3382396620a3246590a34029","author":{"name":"Matthias Heizmann","email":"f1cff21450e83c7ffbac6322489d8b4a568fcc91@informatik.uni-freiburg.de"},"message":"TransFormulaLR uses TermVariables instead of Terms","distinct":true,"url":"https://api.github.com/repos/ultimate-pa/ultimate/commits/ce62cecafae27e5b3382396620a3246590a34029"}]}
{"actor":{"display_login":"Heizmann"}}