{"push_id":1449134298,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"aba6f8b8a83ae557f0fe89df4dd875bea269419b","before":"9f6e71b37448511967e528283f86b5a1d8bdc5ab","commits":[{"sha":"aba6f8b8a83ae557f0fe89df4dd875bea269419b","author":{"name":"Leonardo de Moura","email":"ba10aed3432723ba43fa2d8fb44aba9979912a8a@microsoft.com"},"message":"feat(frontends/lean/parser): add support for anonymous parameters\n\nExample:\n\ncheck λ _, 0","distinct":true,"url":"https://api.github.com/repos/leodemoura/lean/commits/aba6f8b8a83ae557f0fe89df4dd875bea269419b"}]}
{"actor":{"display_login":"leodemoura"}}