{"push_id":863982574,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"29fd06c424c5978bf77f444dfb6c5db6e3db6c5e","before":"7d302cc1b6d8c85ef52f0b58403351ee4e878158","commits":[{"sha":"29fd06c424c5978bf77f444dfb6c5db6e3db6c5e","author":{"email":"0eff0cff3810a578c1b67c775e31d371126b9e25@CliftonatHome.local","name":"CliftonCunningham"},"message":"Replaced Gder with H in proofs. Added iso to diagrams.","distinct":true,"url":"https://api.github.com/repos/CliftonCunningham/geometrization-tori/commits/29fd06c424c5978bf77f444dfb6c5db6e3db6c5e"}]}