{"push_id":2645313820,"size":1,"distinct_size":1,"ref":"refs/heads/macosx-mixed-ci","head":"a6dda493e96f9ffbb9b653ad1d0a7b5fd158875a","before":"5be7811fd4240bd776b1907cce006a555a6387fc","commits":[{"sha":"a6dda493e96f9ffbb9b653ad1d0a7b5fd158875a","author":{"name":"MikAnd","email":"401bd629fff00cd029f70ffaa816cfeb73f9ea8b@gmail.com"},"message":"Trying to fix z3","distinct":true,"url":"https://api.github.com/repos/pysmt/pysmt/commits/a6dda493e96f9ffbb9b653ad1d0a7b5fd158875a"}]}
{"actor":{"display_login":"mikand"}}