{"push_id":960433958,"size":1,"distinct_size":1,"ref":"refs/heads/wip/oct","head":"bcafd7dbaec71ed46a0225118fee3949f775f0c4","before":"786218b91b2e82b31482019186ec291527374556","commits":[{"sha":"bcafd7dbaec71ed46a0225118fee3949f775f0c4","author":{"email":"95c415e54fdb2a55a42421c42fe46c18960a23b6@informatik.uni-freiburg.de","name":"Claus Schätzle"},"message":"java 1.8","distinct":true,"url":"https://api.github.com/repos/ultimate-pa/ultimate/commits/bcafd7dbaec71ed46a0225118fee3949f775f0c4"}]}