{"push_id":1450032385,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"4ba3c6dc51dd2a0f3ff38d545ab5f29bbb56a3dd","before":"a769f9279b39019d979f975fe814bef489abba8c","commits":[{"sha":"4ba3c6dc51dd2a0f3ff38d545ab5f29bbb56a3dd","author":{"name":"Dirk Beyer","email":"8f1347c3bc5c64c00d822d398f6cd84ad84eb8b1@sosy-lab.org"},"message":"Benchmark definition for new category naming schema","distinct":true,"url":"https://api.github.com/repos/sosy-lab/sv-comp/commits/4ba3c6dc51dd2a0f3ff38d545ab5f29bbb56a3dd"}]}
{"actor":{"display_login":"dbeyer"}}