{"push_id":2747727477,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"70b8699e9f8057c447fcb8564efd0a9e20f39121","before":"8d90d9aff4d529a82963a316ada2169e48543fd7","commits":[{"sha":"70b8699e9f8057c447fcb8564efd0a9e20f39121","author":{"name":"Kevin Buzzard","email":"5c408ee3597074a39f53b0002a68d8dadf4e4b02@imperial.ac.uk"},"message":"integral over a subring","distinct":true,"url":"https://api.github.com/repos/kbuzzard/lean-perfectoid-spaces/commits/70b8699e9f8057c447fcb8564efd0a9e20f39121"}]}
{"actor":{"display_login":"kbuzzard"}}