{"push_id":2955837243,"size":1,"distinct_size":1,"ref":"refs/heads/subsolverParams","head":"3f960e4f3744121efddd19b12806fee660887497","before":"0ae413cae2351cbbb3d7b1113d2a808bfbc1d78d","commits":[{"sha":"3f960e4f3744121efddd19b12806fee660887497","author":{"name":"Andres Noetzli","email":"a27884a205c28e99df76dbb0d834084a9a704cba@gmail.com"},"message":"fix","distinct":true,"url":"https://api.github.com/repos/4tXJ7f/CVC4/commits/3f960e4f3744121efddd19b12806fee660887497"}]}
{"actor":{"display_login":"4tXJ7f"}}