{"push_id":1462388159,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"7a4e51af75b4d509c78be90233e1fc801f6a231c","before":"5083b1adee9d864f237ade1c8c40052673cbbaa7","commits":[{"sha":"7a4e51af75b4d509c78be90233e1fc801f6a231c","author":{"name":"Kevin Chung","email":"8894b191dfd0f39c85e855d037dfbb72d72be8bf@nyu.edu"},"message":"Make z3 python binding look in it's installation directory for the z3 lib","distinct":true,"url":"https://api.github.com/repos/ColdHeat/z3/commits/7a4e51af75b4d509c78be90233e1fc801f6a231c"}]}
{"actor":{"display_login":"ColdHeat"}}