{"push_id":740382387,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"971684141302a14fd0272905e05d072edda0846c","before":"3534d0dc82dd5c390582dfa70e5d517e44384747","commits":[{"sha":"e61a61da8b0e360820ee648c45a4b092f5e68080","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"feat(emacs/lean-mode.el): use lean-info-mode in lean-exec-at-pos","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-windows/commits/e61a61da8b0e360820ee648c45a4b092f5e68080"},{"sha":"971684141302a14fd0272905e05d072edda0846c","author":{"email":"1b60d2ed7158736cbc1353d72a6dc44a6772147f@travis-ci.org","name":"Travis CI"},"message":"feat(emacs/lean-mode.el): use lean-info-mode in lean-exec-at-pos","distinct":true,"url":"https://api.github.com/repos/soonhokong/lean-windows/commits/971684141302a14fd0272905e05d072edda0846c"}]}