{"push_id":918173747,"size":3,"distinct_size":3,"ref":"refs/heads/master","head":"8c87f90a296d4f977e261eaff380df39f10ac4ac","before":"7462874a4a71e2fc05788a633cbccd7d89978777","commits":[{"sha":"b92416d66c94e1dcb8bffc0dbd34b22175b053f6","author":{"email":"7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","name":"Leonardo de Moura"},"message":"refactor(library/error_handling): move error_handling to library main dir","distinct":true,"url":"https://api.github.com/repos/leanprover/lean/commits/b92416d66c94e1dcb8bffc0dbd34b22175b053f6"},{"sha":"86a5379a968f02ad135b00d2291469dff21b6d5b","author":{"email":"7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","name":"Leonardo de Moura"},"message":"feat(library/blast): include strategies failure states in the tactic_exception\n\nReason: better flycheck error messages","distinct":true,"url":"https://api.github.com/repos/leanprover/lean/commits/86a5379a968f02ad135b00d2291469dff21b6d5b"},{"sha":"8c87f90a296d4f977e261eaff380df39f10ac4ac","author":{"email":"7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","name":"Leonardo de Moura"},"message":"feat(frontends/lean/elaborator): avoid redudant \"don't know how to synthesize placeholder\" when using flycheck","distinct":true,"url":"https://api.github.com/repos/leanprover/lean/commits/8c87f90a296d4f977e261eaff380df39f10ac4ac"}]}