{"push_id":1116205279,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"967fde89cd8867ce0d034cb708a55e2e9965d79d","before":"10118abc8d05c0d4ae3c17433956e26461117a0b","commits":[{"sha":"967fde89cd8867ce0d034cb708a55e2e9965d79d","author":{"email":"b6225765c993a48c08984e802a66953880db6691@gmail.com","name":"allenyua"},"message":"typo in definition of formal scheme\n\nI hope I didn’t mess it up","distinct":true,"url":"https://api.github.com/repos/ecpeterson/FormalGeomNotes/commits/967fde89cd8867ce0d034cb708a55e2e9965d79d"}]}