{"push_id":954396883,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"bb630725aa353076be85c176e2abdfab1c292195","before":"ee7bcabc7789b8500617541e7927b7fba0f94183","commits":[{"sha":"bb630725aa353076be85c176e2abdfab1c292195","author":{"email":"ff25e8428575a1c8a803c84f2e113f0614e9be60@math.harvard.edu","name":"Eric Peterson"},"message":"minor rearrangement in Lecture 3.3","distinct":true,"url":"https://api.github.com/repos/ecpeterson/FormalGeomNotes/commits/bb630725aa353076be85c176e2abdfab1c292195"}]}