{"push_id":1074095356,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"13acc646f05caae0cb8c2f56938e39616440bed3","before":"7e8341446679b0eede47ad3da7125402aca88ce4","commits":[{"sha":"13acc646f05caae0cb8c2f56938e39616440bed3","author":{"email":"ff25e8428575a1c8a803c84f2e113f0614e9be60@math.harvard.edu","name":"Eric Peterson"},"message":"first pass at Lecture 5.7","distinct":true,"url":"https://api.github.com/repos/ecpeterson/FormalGeomNotes/commits/13acc646f05caae0cb8c2f56938e39616440bed3"}]}