{"push_id":671090598,"size":1,"distinct_size":1,"ref":"refs/heads/proof-hacking","head":"80b8eaa95b75a1bbc48af8fcf26ea3b24548852e","before":"4a5bb5bf22965eec0e35657e27fcc2d9bc99d745","commits":[{"sha":"80b8eaa95b75a1bbc48af8fcf26ea3b24548852e","author":{"email":"568218febc9056604057d55a8286deb18bde0b5e@epfl.ch","name":"Manos Koukoutos"},"message":"Improved version","distinct":true,"url":"https://api.github.com/repos/manoskouk/leon/commits/80b8eaa95b75a1bbc48af8fcf26ea3b24548852e"}]}