{"push_id":2704846617,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"5a857563a70de6caae073bd925f3982be9b1f688","before":"f8cb9c3f14fbf85857305a2b9a5c93197cbd0972","commits":[{"sha":"5a857563a70de6caae073bd925f3982be9b1f688","author":{"name":"Patrick Massot","email":"d6ba85f14dec2f7e70d001a736a8bb6240809d0b@polytechnique.edu"},"message":"Topology from equivalence classes of atlases","distinct":true,"url":"https://api.github.com/repos/PatrickMassot/lean-differential-topology/commits/5a857563a70de6caae073bd925f3982be9b1f688"}]}
{"actor":{"display_login":"PatrickMassot"}}