{"push_id":2164803325,"size":1,"distinct_size":1,"ref":"refs/heads/normalize-grammars2","head":"b089f39f116fd13d7b689623c2b20ab9cab4c9f7","before":"3ecb7727f851727a3a539810e2b4958b0fdebb99","commits":[{"sha":"b089f39f116fd13d7b689623c2b20ab9cab4c9f7","author":{"name":"Haniel Barbosa","email":"98df284f6f82e8586bd0f4615e266b7df201fe94@inria.fr"},"message":"changing option","distinct":true,"url":"https://api.github.com/repos/HanielB/CVC4/commits/b089f39f116fd13d7b689623c2b20ab9cab4c9f7"}]}
{"actor":{"display_login":"HanielB"}}