{"push_id":1276709477,"size":1,"distinct_size":1,"ref":"refs/heads/test_gen","head":"713ff152d05bb917fde0c587ee805e4f96fce460","before":"62ff824e0c9a8562695fbef313585e5fcc515869","commits":[{"sha":"713ff152d05bb917fde0c587ee805e4f96fce460","author":{"name":"Cristina","email":"ef5dd62963b70c6be15eed06117b9410b6dda109@gmail.com"},"message":"+ missing case for ID_c_bool when generating json output","distinct":true,"url":"https://api.github.com/repos/cristina-david/cbmc/commits/713ff152d05bb917fde0c587ee805e4f96fce460"}]}
{"actor":{"display_login":"cristina-david"}}