{"push_id":743332563,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"56a69a315aab5a3c27ab412d3ae8d7ef5f4ffda7","before":"c612065f6780d56642e0e40709fd0e8324fbce8b","commits":[{"sha":"56a69a315aab5a3c27ab412d3ae8d7ef5f4ffda7","author":{"email":"e0dc916e90143364b0d0e81943a6800cb71eaf70@functor.sk","name":"Matus Tejiscak"},"message":"Fix typing of telescope.","distinct":true,"url":"https://api.github.com/repos/ziman/idris-py/commits/56a69a315aab5a3c27ab412d3ae8d7ef5f4ffda7"}]}