{"push_id":2371698894,"size":1,"distinct_size":1,"ref":"refs/heads/specialized_generics_tg1419","head":"1f440cd669757901479c377b161b64e1f384da59","before":"f1a3550dc75ab58327ec47ffa9936b0f67ffb40d","commits":[{"sha":"1f440cd669757901479c377b161b64e1f384da59","author":{"name":"svorenova","email":"36b1c7f136bbdcc1317a6942376e1bb8ad53000b@diffblue.com"},"message":"Adding and updating unit tests","distinct":true,"url":"https://api.github.com/repos/svorenova/cbmc/commits/1f440cd669757901479c377b161b64e1f384da59"}]}
{"actor":{"display_login":"svorenova"}}