{"push_id":602044537,"size":1,"distinct_size":1,"ref":"refs/heads/towards_python_3","head":"c1e7403c279451779000e1fa6d6631b7f58cf2e3","before":"daaa8765e525acff91958f26f3508ee14ff4df58","commits":[{"sha":"c1e7403c279451779000e1fa6d6631b7f58cf2e3","author":{"email":"401bd629fff00cd029f70ffaa816cfeb73f9ea8b@gmail.com","name":"MikAnd"},"message":"Restored all CI builds for python 2.7, 3.3 and 3.4","distinct":true,"url":"https://api.github.com/repos/pysmt/pysmt/commits/c1e7403c279451779000e1fa6d6631b7f58cf2e3"}]}