{"push_id":978220860,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"e01dfe1c288d98dc26362f1e25257367bbfa67bc","before":"4f00014a398624fa2bb5d5714aed44de586e85f5","commits":[{"sha":"e01dfe1c288d98dc26362f1e25257367bbfa67bc","author":{"email":"ff25e8428575a1c8a803c84f2e113f0614e9be60@math.harvard.edu","name":"Eric Peterson"},"message":"first full pass at Lecture 4.3","distinct":true,"url":"https://api.github.com/repos/ecpeterson/FormalGeomNotes/commits/e01dfe1c288d98dc26362f1e25257367bbfa67bc"}]}