{"push_id":554968049,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"b5c4e603dbcfd0012d003d409a51c26246e82878","before":"b64306395597e11b55b0ad8b8bfc8ca4aa31277f","commits":[{"sha":"b5c4e603dbcfd0012d003d409a51c26246e82878","author":{"email":"7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","name":"Leonardo de Moura"},"message":"feat(frontends/lean): allow parameters to be used in sections\n\nRestriction:\n- coercions and notations cannot be defined in parametric sections\n\ncloses #401","distinct":true,"url":"https://api.github.com/repos/leanprover/lean/commits/b5c4e603dbcfd0012d003d409a51c26246e82878"}]}