{"push_id":739225575,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"6ac4085661385eb2f9edae20424cf1b2520c429c","before":"8a62f96eee30da0eaf442de81ff3964a6899e07b","commits":[{"sha":"6de86ff7496fc74ad2689a6dee60904605cc0096","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"fix(emacs/lean-mode.el): attach sentinel to lean-exec-at-pos\n\nClose #499\n\nUsage:\n\n(add-hook 'lean-mode-hook '(lambda ()\n(lean-define-key-binding \"\\C-c\\C-g\"\n                     '(lean-exec-at-pos \"lean-goal\" \"*Lean Goal*\" \"--goal\"))))","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-osx/commits/6de86ff7496fc74ad2689a6dee60904605cc0096"},{"sha":"6ac4085661385eb2f9edae20424cf1b2520c429c","author":{"email":"1b60d2ed7158736cbc1353d72a6dc44a6772147f@travis-ci.org","name":"Travis CI"},"message":"fix(emacs/lean-mode.el): attach sentinel to lean-exec-at-pos","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-osx/commits/6ac4085661385eb2f9edae20424cf1b2520c429c"}]}