{"push_id":1432790595,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"cd5bb6daa3eaae2e957bf84a52b16611a0904355","before":"9621760cf16df0e32dec5002e15379c7e69f05b9","commits":[{"sha":"cd5bb6daa3eaae2e957bf84a52b16611a0904355","author":{"name":"Dirk Beyer","email":"8f1347c3bc5c64c00d822d398f6cd84ad84eb8b1@sosy-lab.org"},"message":"Use improved options for CPAchecker's validator","distinct":true,"url":"https://api.github.com/repos/sosy-lab/sv-comp/commits/cd5bb6daa3eaae2e957bf84a52b16611a0904355"}]}
{"actor":{"display_login":"dbeyer"}}