{"push_id":2927622505,"size":1,"distinct_size":1,"ref":"refs/heads/inner_product_spaces","head":"3879ea7b6271e140ce381b50fe81b0a980a4b58e","before":"d29ffff8ed91c9341bc2c0a67b756f9d5dda1271","commits":[{"sha":"3879ea7b6271e140ce381b50fe81b0a980a4b58e","author":{"name":"amswerdlow","email":"db3657cab9c991a8d7faa2e115fb11e13f41b8b3@users.noreply.github.com"},"message":"Update sesquilinear_form.lean","distinct":true,"url":"https://api.github.com/repos/leanprover-community/mathlib/commits/3879ea7b6271e140ce381b50fe81b0a980a4b58e"}]}
{"actor":{"display_login":"amswerdlow"}}