{"push_id":793118947,"size":2,"distinct_size":2,"ref":"refs/heads/master","head":"27d27e1c3fd0484cc9ecf1c99512c2ea249c7a33","before":"d8b543765c8a9f34e12b8646b61938edb7681279","commits":[{"sha":"d320354832d87fac552919fe7ab63da61158b764","author":{"email":"213b8073171721bf6f0b4e0bba825f2cf2015eff@gmail.com","name":"Matthias Güdemann"},"message":"simplify proof divides_0","distinct":true,"url":"https://api.github.com/repos/mgudemann/prooftutorial/commits/d320354832d87fac552919fe7ab63da61158b764"},{"sha":"27d27e1c3fd0484cc9ecf1c99512c2ea249c7a33","author":{"email":"213b8073171721bf6f0b4e0bba825f2cf2015eff@gmail.com","name":"Matthias Güdemann"},"message":"proof not_divides_lt","distinct":true,"url":"https://api.github.com/repos/mgudemann/prooftutorial/commits/27d27e1c3fd0484cc9ecf1c99512c2ea249c7a33"}]}