{"push_id":1622153833,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"df20ed5651b85cf013527877bc75b024c8a8cef7","before":"a2de9f9ceaa217232009255a65fe6142e454f043","commits":[{"sha":"df20ed5651b85cf013527877bc75b024c8a8cef7","author":{"name":"Evan Hubinger","email":"2f96bfcb2302297a83a12c4ca050f61baed9ae58@gmail.com"},"message":"Fixes implicit exists from constants","distinct":true,"url":"https://api.github.com/repos/evhub/pyprover/commits/df20ed5651b85cf013527877bc75b024c8a8cef7"}]}
{"actor":{"display_login":"evhub"}}