{"push_id":549262332,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"96aea5398b73ea0f4181376ec0975edda7bb979c","before":"aa7fd80fec780e984bb91ff5894ed90ac5afdb8a","commits":[{"sha":"96aea5398b73ea0f4181376ec0975edda7bb979c","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"feat(unixode.sty): add entries for {| and |}\n\nfix #24","distinct":true,"url":"https://api.github.com/repos/leanprover/tutorial/commits/96aea5398b73ea0f4181376ec0975edda7bb979c"}]}