{"push_id":920426032,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"923a95d69c387025f4f659d8c9693227d0201fb5","before":"12eee3140a0e7ffbbda46161fdf537e704d00e51","commits":[{"sha":"923a95d69c387025f4f659d8c9693227d0201fb5","author":{"email":"8333aedf05cc00db6fd1daa54cd2a77473884a1c@math.berkeley.edu","name":"Eric Peterson"},"message":"sketch out a good chunk of Lecture 4.4","distinct":true,"url":"https://api.github.com/repos/ecpeterson/FormalGeomNotes/commits/923a95d69c387025f4f659d8c9693227d0201fb5"}]}