{"push_id":3962908406,"size":1,"distinct_size":1,"ref":"refs/heads/algebraic_closure","head":"71ed4b556318f88b804e65b955218d585255bf67","before":"d5c489766964a07601e4159a4e85a6cfc1eb71af","commits":[{"sha":"71ed4b556318f88b804e65b955218d585255bf67","author":{"name":"Johan Commelin","email":"759412786bc533369b22377bf83fb9056c5b25b2@commelin.net"},"message":"Remove another sorry, in base_extension","distinct":true,"url":"https://api.github.com/repos/leanprover-community/mathlib/commits/71ed4b556318f88b804e65b955218d585255bf67"}]}
{"actor":{"display_login":"jcommelin"}}