{"push_id":818909562,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"31d4eff77db029067948c7ec46f3cdd783b71676","before":"f0e3b1eb573bf28a8853f1b0a8fbbd290dc819b8","commits":[{"sha":"31d4eff77db029067948c7ec46f3cdd783b71676","author":{"email":"a05df156a69ad59faa9af9b666ef78009594c145@gmail.com","name":"Marek Chalupa"},"message":"add symbiotic2 tool\n\nAdd wrapper script for symbiotic2\n\nSigned-off-by: Marek Chalupa <mchqwerty@gmail.com>","distinct":true,"url":"https://api.github.com/repos/mchalupa/benchexec/commits/31d4eff77db029067948c7ec46f3cdd783b71676"}]}