{"push_id":857092791,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"a817d65ccb215859a989f752bc4f609da153a5a7","before":"e0b2725da65854d937d35ba850904f03b2a110af","commits":[{"sha":"a817d65ccb215859a989f752bc4f609da153a5a7","author":{"email":"8333aedf05cc00db6fd1daa54cd2a77473884a1c@math.berkeley.edu","name":"Eric Peterson"},"message":"i think i am going to follow quillen’s “elementary” proof. it will take\nits own chapter, and it will require developing a few things a little\nearlier. this rearranges some things toward that.","distinct":true,"url":"https://api.github.com/repos/ecpeterson/FormalGeomNotes/commits/a817d65ccb215859a989f752bc4f609da153a5a7"}]}