{"push_id":664357801,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"7f8afcf04bc5600f7bbd8f540b916ee8ae8a5267","before":"77c20e99ff1ba662514249a23bfa8f7dbbc0e4fd","commits":[{"sha":"7f8afcf04bc5600f7bbd8f540b916ee8ae8a5267","author":{"email":"7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","name":"Leonardo de Moura"},"message":"fix(frontends/lean/builtin_exprs): bug in 'using' expressions","distinct":true,"url":"https://api.github.com/repos/leanprover/lean/commits/7f8afcf04bc5600f7bbd8f540b916ee8ae8a5267"}]}