{"push_id":3048952374,"size":1,"distinct_size":1,"ref":"refs/heads/doc/compilation-and-development","head":"61ed947e807e9b4e71a10afb32cbb6a83c92daa8","before":"f16257439ea1493ef30cd6803d5c1b734c4b09bf","commits":[{"sha":"61ed947e807e9b4e71a10afb32cbb6a83c92daa8","author":{"name":"Owen Jones","email":"e1c1a19aa9d2880a47fb744014b3cb985c480409@diffblue.com"},"message":"Explain why absolute paths are recommended","distinct":true,"url":"https://api.github.com/repos/owen-jones-diffblue/cbmc/commits/61ed947e807e9b4e71a10afb32cbb6a83c92daa8"}]}
{"actor":{"display_login":"owen-jones-diffblue"}}