{"push_id":713078772,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"866e10f6ba8cac6196ca17a5d08244d6eebb3a2b","before":"cc1f75cf190520deb6f9e61537e21657cbac1348","commits":[{"sha":"866e10f6ba8cac6196ca17a5d08244d6eebb3a2b","author":{"email":"f90092ddc343869d49595ce1247cd654850a3621@gmail.com","name":"hertz1"},"message":"deleted old folder structure","distinct":true,"url":"https://api.github.com/repos/hertz1/mathlib/commits/866e10f6ba8cac6196ca17a5d08244d6eebb3a2b"}]}