{"push_id":845000746,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"b93123131667071cdaa27e03a3fd4e6cad7a5fbb","before":"af63d860612c541fa5d01a996d08d6f01f4ed5bd","commits":[{"sha":"66abe54aca2f19777387c26abbb3de4801d00cb0","author":{"email":"2a93bdd42785d0fdc1234763e2a3a4ce2e41b781@stud.fit.vutbr.cz","name":"Michal Kotoun"},"message":"Added driver for Predator-HP","distinct":true,"url":"https://api.github.com/repos/dbeyer/benchexec/commits/66abe54aca2f19777387c26abbb3de4801d00cb0"},{"sha":"b93123131667071cdaa27e03a3fd4e6cad7a5fbb","author":{"email":"5865954e95201a0251172801b9e1a28ced071491@users.noreply.github.com","name":"Philipp Wendler"},"message":"Merge pull request #56 from michkot/master\n\nTool wrapper for Predator-HP","distinct":true,"url":"https://api.github.com/repos/dbeyer/benchexec/commits/b93123131667071cdaa27e03a3fd4e6cad7a5fbb"}]}