{"push_id":552674149,"size":4,"distinct_size":0,"ref":"refs/heads/master","head":"69af6df69db766464b3cf3026603c5749550fa4a","before":"1d6ff5f76162f1c0e1ffdc0e77c841efa48f9303","commits":[{"sha":"073c1d1c31f8262c8f1ae04006796215d2fdab1a","author":{"email":"66853603a7a02eb0074944ac2aab9d63f1828cb0@gmail.com","name":"Favonia"},"message":"feat(python): add python 3 compatibility\n\nAdd Python 3 compatibility through python-six library.\n\nCloses #393.","distinct":false,"url":"https://api.github.com/repos/leanprover/lean/commits/073c1d1c31f8262c8f1ae04006796215d2fdab1a"},{"sha":"a8f3dcb3952f8ca9222b194d81a5c399e82ac309","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"feat(bin/six.py): add six 1.9.0 (Python 2 and 3 compatibility utilities)","distinct":false,"url":"https://api.github.com/repos/leanprover/lean/commits/a8f3dcb3952f8ca9222b194d81a5c399e82ac309"},{"sha":"82c551d8dcdef085d921b288581ed2e03f6fe3b7","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"fix(.travis.yml): remove six python pkg dep","distinct":false,"url":"https://api.github.com/repos/leanprover/lean/commits/82c551d8dcdef085d921b288581ed2e03f6fe3b7"},{"sha":"69af6df69db766464b3cf3026603c5749550fa4a","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"refactor(bin/python_lib): move six.py under bin/python_lib\n\nFollowing @favonia's suggestion in #393","distinct":false,"url":"https://api.github.com/repos/leanprover/lean/commits/69af6df69db766464b3cf3026603c5749550fa4a"}]}