{"push_id":1461640620,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"253aefe857d250b8eae73a61469b0e5fa870a092","before":"871795d9cece15b0996da2b9854ce9c7fecc4379","commits":[{"sha":"80670e9e2525f5dbed985fe590bab927d628a3ca","author":{"name":"Daniel Dietsch","email":"0b6c7c1889aa00a27e30d1435300605cf941745f@gmail.com"},"message":"add mathsat to all linux binaries","distinct":true,"url":"https://api.github.com/repos/sosy-lab/benchexec/commits/80670e9e2525f5dbed985fe590bab927d628a3ca"},{"sha":"253aefe857d250b8eae73a61469b0e5fa870a092","author":{"name":"Dirk Beyer","email":"8f1347c3bc5c64c00d822d398f6cd84ad84eb8b1@sosy-lab.org"},"message":"Merge pull request #185 from ultimate-pa/master\n\nadd mathsat to all linux binaries","distinct":true,"url":"https://api.github.com/repos/sosy-lab/benchexec/commits/253aefe857d250b8eae73a61469b0e5fa870a092"}]}
{"actor":{"display_login":"dbeyer"}}