{"push_id":2619371741,"size":1,"distinct_size":1,"ref":"refs/heads/SuffixAndContainsBranch","head":"0c0cc8cb63c2cda1d3dd7ab8327e94481ceb1359","before":"75c6a7b34fcfc2b9ebb9f6f8b8146e0671a28353","commits":[{"sha":"0c0cc8cb63c2cda1d3dd7ab8327e94481ceb1359","author":{"name":"OrenGitHub","email":"3abfde053601585eacdc824261e42a2019112418@gmail.com"},"message":"changed std::string creation from std::vector<unsigned char> according to SO post","distinct":true,"url":"https://api.github.com/repos/OrenGitHub/klee/commits/0c0cc8cb63c2cda1d3dd7ab8327e94481ceb1359"}]}
{"actor":{"display_login":"OrenGitHub"}}