{"push_id":777171338,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"e120f8a3fee59f8e5587361ae947374ef548005d","before":"575b9d9db6ac50c7fa0b8631a0f4bb9ec2684cfc","commits":[{"sha":"e120f8a3fee59f8e5587361ae947374ef548005d","author":{"email":"9fd8de5fc2a7c2c0d469b2fff1afde4e5def37ba@metaworld.me","name":"George Karpenkov"},"message":"Fix printing for floating thead.","distinct":true,"url":"https://api.github.com/repos/cheshire/benchexec/commits/e120f8a3fee59f8e5587361ae947374ef548005d"}]}