{"push_id":825799776,"size":7,"distinct_size":7,"ref":"refs/heads/master","head":"be440f9e85b5c5b2d3018ebbc6461e259d0ebc6a","before":"1d899542b433c24af516b34f6b31299ab2a6bee6","commits":[{"sha":"9bf5cca8cb0d6e6ea7cce7ac3695f9024a1ad368","author":{"email":"cf6df4de6faf3db3fc5b6808269ac8967e01c86a@gmail.com","name":"Neil Mitchell"},"message":"Remove redundant imports","distinct":true,"url":"https://api.github.com/repos/ndmitchell/proofy/commits/9bf5cca8cb0d6e6ea7cce7ac3695f9024a1ad368"},{"sha":"b01f2d82bfbf8e8c2192a52ff290a7e04328bc9d","author":{"email":"cf6df4de6faf3db3fc5b6808269ac8967e01c86a@gmail.com","name":"Neil Mitchell"},"message":"Delete etas, was not used","distinct":true,"url":"https://api.github.com/repos/ndmitchell/proofy/commits/b01f2d82bfbf8e8c2192a52ff290a7e04328bc9d"},{"sha":"b400cceee73bc2a7982605bed2dbb230bda45dca","author":{"email":"cf6df4de6faf3db3fc5b6808269ac8967e01c86a@gmail.com","name":"Neil Mitchell"},"message":"Move simplify under Exp","distinct":true,"url":"https://api.github.com/repos/ndmitchell/proofy/commits/b400cceee73bc2a7982605bed2dbb230bda45dca"},{"sha":"b06bb2aa138295db50b550746b983171172bc022","author":{"email":"cf6df4de6faf3db3fc5b6808269ac8967e01c86a@gmail.com","name":"Neil Mitchell"},"message":"Add relabelAvoid to the Exp module","distinct":true,"url":"https://api.github.com/repos/ndmitchell/proofy/commits/b06bb2aa138295db50b550746b983171172bc022"},{"sha":"6a4b1164c1c3571d988517e17508dd46cb52ecd3","author":{"email":"cf6df4de6faf3db3fc5b6808269ac8967e01c86a@gmail.com","name":"Neil Mitchell"},"message":"Add some notes to the readme","distinct":true,"url":"https://api.github.com/repos/ndmitchell/proofy/commits/6a4b1164c1c3571d988517e17508dd46cb52ecd3"},{"sha":"a3af0d4fa8685b514bfb332c8bc1a01cf8c96bb2","author":{"email":"cf6df4de6faf3db3fc5b6808269ac8967e01c86a@gmail.com","name":"Neil Mitchell"},"message":"Some new utilities","distinct":true,"url":"https://api.github.com/repos/ndmitchell/proofy/commits/a3af0d4fa8685b514bfb332c8bc1a01cf8c96bb2"},{"sha":"be440f9e85b5c5b2d3018ebbc6461e259d0ebc6a","author":{"email":"cf6df4de6faf3db3fc5b6808269ac8967e01c86a@gmail.com","name":"Neil Mitchell"},"message":"Rewrite everything on top of Prop","distinct":true,"url":"https://api.github.com/repos/ndmitchell/proofy/commits/be440f9e85b5c5b2d3018ebbc6461e259d0ebc6a"}]}