{"push_id":893221332,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"6ce62d55fbc2975e6c60be1fa57e836404be003f","before":"2a9665ab39f537d1463f740a28e2a577bddf405b","commits":[{"sha":"d544c35bcf7e75dd00e1c49f7b09bbbf18dcb35d","author":{"email":"f73373ed1a26a50ab84500f661b715ececc261b5@philippwendler.de","name":"Philipp Wendler"},"message":"Fix problems with unicode characters in test for Python 2","distinct":true,"url":"https://api.github.com/repos/dbeyer/benchexec/commits/d544c35bcf7e75dd00e1c49f7b09bbbf18dcb35d"},{"sha":"6ce62d55fbc2975e6c60be1fa57e836404be003f","author":{"email":"f73373ed1a26a50ab84500f661b715ececc261b5@philippwendler.de","name":"Philipp Wendler"},"message":"Documentation","distinct":true,"url":"https://api.github.com/repos/dbeyer/benchexec/commits/6ce62d55fbc2975e6c60be1fa57e836404be003f"}]}