{"push_id":2814031314,"size":1,"distinct_size":1,"ref":"refs/heads/thk/lowerings-overview","head":"72387b19b80a18182be343dd5a3a01e089bf5de0","before":"f1915b560868c86bd4bf20005856e8bfc8cae125","commits":[{"sha":"72387b19b80a18182be343dd5a3a01e089bf5de0","author":{"name":"thk123","email":"5f50a84c1fa3bcff146405017f36aec1a10a9e38@diffblue.com"},"message":"Add an overview of what lowerings are done","distinct":true,"url":"https://api.github.com/repos/thk123/cbmc/commits/72387b19b80a18182be343dd5a3a01e089bf5de0"}]}
{"actor":{"display_login":"thk123"}}