{"push_id":963484961,"size":2,"distinct_size":2,"ref":"refs/heads/dev","head":"580627851d10d56690b52da249d57151bd89c0e4","before":"528c06e95143b0aa57f79819768cc78142887cf3","commits":[{"sha":"2930fae27a7ba57034b05ffd91ae8edd5690801b","author":{"email":"b1980171d02bfc6e4fa3bb4ed9293f871447e036@informatik.uni-freiburg.de","name":"Daniel Dietsch"},"message":"current devel + a sample","distinct":true,"url":"https://api.github.com/repos/ultimate-pa/ultimate/commits/2930fae27a7ba57034b05ffd91ae8edd5690801b"},{"sha":"580627851d10d56690b52da249d57151bd89c0e4","author":{"email":"b1980171d02bfc6e4fa3bb4ed9293f871447e036@informatik.uni-freiburg.de","name":"Daniel Dietsch"},"message":"current bugs","distinct":true,"url":"https://api.github.com/repos/ultimate-pa/ultimate/commits/580627851d10d56690b52da249d57151bd89c0e4"}]}