{"push_id":1367902526,"size":1,"distinct_size":1,"ref":"refs/heads/dev","head":"c0189739a08fbbec0318b6aa2e66ac8222e15cea","before":"692b4409a828a9255fac07428a37025436b07cc1","commits":[{"sha":"c0189739a08fbbec0318b6aa2e66ac8222e15cea","author":{"name":"franksch94","email":"d5781611990eb765b9e9b9e84ef839529d14da6c@gmx.de"},"message":"MapElimination: Added quantifier-support","distinct":true,"url":"https://api.github.com/repos/ultimate-pa/ultimate/commits/c0189739a08fbbec0318b6aa2e66ac8222e15cea"}]}
{"actor":{"display_login":"franksch94"}}