{"push_id":718247733,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"dec991f91974c5cbb1125406cf5ac153d9ec86b9","before":"1bec954344266725e818ba82da7fe77f20aceeae","commits":[{"sha":"dec991f91974c5cbb1125406cf5ac153d9ec86b9","author":{"email":"8a87fac1d0869dec40a0ff8a15f43bd863ffe1da@gmail.com","name":"bjowac"},"message":"removed forall-itp","distinct":true,"url":"https://api.github.com/repos/bjowac/impara/commits/dec991f91974c5cbb1125406cf5ac153d9ec86b9"}]}