{"push_id":690327734,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"fc3bde54736652f904eb90b9f9fe9c372add4fcb","before":"46c1cf31af3be6d8fc6581dbacf5b3f82ccc1849","commits":[{"sha":"fc3bde54736652f904eb90b9f9fe9c372add4fcb","author":{"email":"0094aa2bb89c3646077eb6cec15d9e39da06caed@gmail.com","name":"valis"},"message":"Substitution lemma","distinct":true,"url":"https://api.github.com/repos/valis/hott-doc/commits/fc3bde54736652f904eb90b9f9fe9c372add4fcb"}]}