{"push_id":752017641,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"6c5832a564df7aee397064851ea6723ea3215cd1","before":"ecf9c825ac094cf83679310be2ea0e85c4d616c6","commits":[{"sha":"6c5832a564df7aee397064851ea6723ea3215cd1","author":{"email":"7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","name":"Leonardo de Moura"},"message":"feat(frontends/lean/decl_cmds): allow recursive examples\n\ncloses #774","distinct":true,"url":"https://api.github.com/repos/leanprover/lean/commits/6c5832a564df7aee397064851ea6723ea3215cd1"}]}