{"push_id":2799335887,"size":1,"distinct_size":1,"ref":"refs/heads/symb-exec","head":"cc436f325ef3a1adab6edcb089a7ad3d0c5362c2","before":"de631e3fc0787ae5168a8bab83a2e8bf654a11dc","commits":[{"sha":"cc436f325ef3a1adab6edcb089a7ad3d0c5362c2","author":{"name":"Siddharth Krishna","email":"95859b7e58697fe7abda80eab23180d4e62436bf@users.noreply.github.com"},"message":"b-link: remove assume, fix bug in hrep","distinct":true,"url":"https://api.github.com/repos/wies/grasshopper/commits/cc436f325ef3a1adab6edcb089a7ad3d0c5362c2"}]}
{"actor":{"display_login":"siddharth-krishna"}}