{"push_id":743217680,"size":1,"distinct_size":1,"ref":"refs/heads/gh-pages","head":"b7f0ddcab34e0588640d9ab51dd4e5e2debfa65e","before":"36875e41ff0d3c3dc0c7d919ec3e80c5fd9ffc02","commits":[{"sha":"b7f0ddcab34e0588640d9ab51dd4e5e2debfa65e","author":{"email":"63adb5ce2831ba4d8e937ce6b96c4b96780c2933@cs.cmu.edu","name":"Soonho Kong"},"message":"Update Thu Jul 30 17:21:01 EDT 2015","distinct":true,"url":"https://api.github.com/repos/leanprover/tutorial/commits/b7f0ddcab34e0588640d9ab51dd4e5e2debfa65e"}]}