{"push_id":587637402,"size":3,"distinct_size":3,"ref":"refs/heads/master","head":"b9227948e4f2a8e3d62b8e2b7b343cd1cf1ad266","before":"c14f9689f1d60281580ae2e999ebdc81697d9241","commits":[{"sha":"c9ffc2fec8614e80513c151b66888418e83c718f","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"fix(emacs/lean-util): add hlean support in lean-path-list\n\nclose #450","distinct":true,"url":"https://api.github.com/repos/leodemoura/lean/commits/c9ffc2fec8614e80513c151b66888418e83c718f"},{"sha":"cf56935b018326dee06fab324b487494ab10760c","author":{"email":"7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","name":"Leonardo de Moura"},"message":"feat(frontends/lean): improve support for user defined tactics","distinct":true,"url":"https://api.github.com/repos/leodemoura/lean/commits/cf56935b018326dee06fab324b487494ab10760c"},{"sha":"b9227948e4f2a8e3d62b8e2b7b343cd1cf1ad266","author":{"email":"7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","name":"Leonardo de Moura"},"message":"feat(README): add links to homepage","distinct":true,"url":"https://api.github.com/repos/leodemoura/lean/commits/b9227948e4f2a8e3d62b8e2b7b343cd1cf1ad266"}]}