{"push_id":613684280,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"12b5f47c9f9ae344e3064a41197e477f1edeb235","before":"83dee74a2dc452735e5634488b99a40c166a333d","commits":[{"sha":"724161586b0c9a10c2c5a293c32c6a5a73b62c04","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"fix(07): wrong inter-chapter reference","distinct":true,"url":"https://api.github.com/repos/leanprover/tutorial/commits/724161586b0c9a10c2c5a293c32c6a5a73b62c04"},{"sha":"12b5f47c9f9ae344e3064a41197e477f1edeb235","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"feat(elisp/org-pdf-export): add lean-filter-latex-link\n\nfix #69\n\nFor instance,\n\n    \\hyperref[sec-5-7]{Coercions}\n\nbecomes\n\n    \\hyperref[sec-5-7]{5.7}","distinct":true,"url":"https://api.github.com/repos/leanprover/tutorial/commits/12b5f47c9f9ae344e3064a41197e477f1edeb235"}]}