{"push_id":1428554823,"size":4,"distinct_size":4,"ref":"refs/heads/lean3","head":"398af80584032e286eb9a2f1177e2c9ecc724899","before":"002c62b49cdb20e70ff18b011123a20eb247876b","commits":[{"sha":"fcef94200f6469f24540deb0a14b20288eb01cec","author":{"name":"Leonardo de Moura","email":"ba10aed3432723ba43fa2d8fb44aba9979912a8a@microsoft.com"},"message":"feat(library/documentation): add `lean` suffix to code blocks","distinct":true,"url":"https://api.github.com/repos/leodemoura/lean/commits/fcef94200f6469f24540deb0a14b20288eb01cec"},{"sha":"5fe00683010ed7e4649e8fe52cf4ea60cf4af2d2","author":{"name":"Leonardo de Moura","email":"ba10aed3432723ba43fa2d8fb44aba9979912a8a@microsoft.com"},"message":"feat(shell/lean): error if leandoc is used with smt2 files","distinct":true,"url":"https://api.github.com/repos/leodemoura/lean/commits/5fe00683010ed7e4649e8fe52cf4ea60cf4af2d2"},{"sha":"c3424f4058fd7659e3393a552dff4f84a106584c","author":{"name":"Leonardo de Moura","email":"ba10aed3432723ba43fa2d8fb44aba9979912a8a@microsoft.com"},"message":"chore(library/documentation): remove leftover","distinct":true,"url":"https://api.github.com/repos/leodemoura/lean/commits/c3424f4058fd7659e3393a552dff4f84a106584c"},{"sha":"398af80584032e286eb9a2f1177e2c9ecc724899","author":{"name":"Leonardo de Moura","email":"ba10aed3432723ba43fa2d8fb44aba9979912a8a@microsoft.com"},"message":"feat(shell/leandoc): add support for \"brief\" description\n\nThis feature is similar to the one available in doxygen.","distinct":true,"url":"https://api.github.com/repos/leodemoura/lean/commits/398af80584032e286eb9a2f1177e2c9ecc724899"}]}
{"actor":{"display_login":"leodemoura"}}