{"push_id":743024529,"size":4,"distinct_size":4,"ref":"refs/heads/master","head":"656b642c4ab042bbcc5fe81f250764dae51891b2","before":"698b368f0105a8e58b0bc403d66e624bdc6699e7","commits":[{"sha":"46a79ec43dad2f666d80cb41d4446f02f26b1f65","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"feat(emacs/lean-mode.el): add lean-show-id-keyword-info\n\nclose #756","distinct":true,"url":"https://api.github.com/repos/leodemoura/lean/commits/46a79ec43dad2f666d80cb41d4446f02f26b1f65"},{"sha":"c39055034007f9106ad41185ffe8525d240e0c34","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"feat(emacs/lean-mode.el): add show-goal-at-pos and show-id-keyword-info in the menu","distinct":true,"url":"https://api.github.com/repos/leodemoura/lean/commits/c39055034007f9106ad41185ffe8525d240e0c34"},{"sha":"a39cac4fad332b50b1cc52e66694a6e366d00789","author":{"email":"7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","name":"Leonardo de Moura"},"message":"feat(frontends/lean): improve '--info' command line option\n\nsee issue #756","distinct":true,"url":"https://api.github.com/repos/leodemoura/lean/commits/a39cac4fad332b50b1cc52e66694a6e366d00789"},{"sha":"656b642c4ab042bbcc5fe81f250764dae51891b2","author":{"email":"7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","name":"Leonardo de Moura"},"message":"fix(frontends/lean): identifier size when using unicode\n\nsee issue #756","distinct":true,"url":"https://api.github.com/repos/leodemoura/lean/commits/656b642c4ab042bbcc5fe81f250764dae51891b2"}]}