{"push_id":722143709,"size":1,"distinct_size":1,"ref":"refs/heads/patch-2","head":"a3e3c9f0f024eacbe1db9f345ffd85a6d724fa2e","before":"97c9fc7e2b9a18f8068905639cbe29611f031d04","commits":[{"sha":"a3e3c9f0f024eacbe1db9f345ffd85a6d724fa2e","author":{"email":"36ffae27d050c351cfeac49464c6700b1007affe@users.noreply.github.com","name":"patriotpie"},"message":"Fix typo in proof of continuity","distinct":true,"url":"https://api.github.com/repos/patriotpie/m2o2c2/commits/a3e3c9f0f024eacbe1db9f345ffd85a6d724fa2e"}]}