{"push_id":2761708376,"size":1,"distinct_size":1,"ref":"refs/heads/travis_clang_format","head":"3fe362ed028b80a830bb1320ce6e8cc7e8de844d","before":"2798a8c11c592741335b89eb819d5c32710709ec","commits":[{"sha":"3fe362ed028b80a830bb1320ce6e8cc7e8de844d","author":{"name":"Martin Nowack","email":"3815418ca01e46654b35bf920f6ce55c362867e9@imperial.ac.uk"},"message":"Workaround","distinct":true,"url":"https://api.github.com/repos/MartinNowack/klee/commits/3fe362ed028b80a830bb1320ce6e8cc7e8de844d"}]}
{"actor":{"display_login":"MartinNowack"}}