{"push_id":580020318,"size":1,"distinct_size":1,"ref":"refs/heads/gh-pages","head":"3c3cab31ae3b2ceb92255f23659eb016a960d3a4","before":"89f7b87fd5c9cf3362d2c273e731e97e7cf3a867","commits":[{"sha":"3c3cab31ae3b2ceb92255f23659eb016a960d3a4","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"update htmls","distinct":true,"url":"https://api.github.com/repos/leanprover/presentations/commits/3c3cab31ae3b2ceb92255f23659eb016a960d3a4"}]}