{"push_id":1454227211,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"ae069e4640a784887578c067b7dafc52f99fc456","before":"4f1609c43dafb621dc10f838f3e3643fde8d49e1","commits":[{"sha":"ae069e4640a784887578c067b7dafc52f99fc456","author":{"name":"Dirk Beyer","email":"8f1347c3bc5c64c00d822d398f6cd84ad84eb8b1@sosy-lab.org"},"message":"Certain verification tasks were put into this extra category, was forgotten to be added.","distinct":true,"url":"https://api.github.com/repos/sosy-lab/sv-comp/commits/ae069e4640a784887578c067b7dafc52f99fc456"}]}
{"actor":{"display_login":"dbeyer"}}