{"push_id":1304152644,"size":1,"distinct_size":1,"ref":"refs/heads/GUPDR","head":"40c47306d3b3fa379368186a5399b71b411202c0","before":"11ec6210a8d24c29a9bc3d040eea0a155aeaece6","commits":[{"sha":"40c47306d3b3fa379368186a5399b71b411202c0","author":{"name":"yotamfe","email":"4e9fdc5f41f9e580a2b6a3c4d7dd99978a9d4d07@gmail.com"},"message":"Reachable states are a set, and pushing cexs forward","distinct":true,"url":"https://api.github.com/repos/yotamfe/ivy/commits/40c47306d3b3fa379368186a5399b71b411202c0"}]}
{"actor":{"display_login":"yotamfe"}}