{"push_id":976431897,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"fde0f5e85819025695bb3f125594f7e72fc558e6","before":"75aa75d74590b1b1e6938691c679392d9b9fe84e","commits":[{"sha":"fde0f5e85819025695bb3f125594f7e72fc558e6","author":{"email":"601e668fd987910cc115e2c32f4ea46cda39b900@gmail.com","name":"Ankit Jaiswal"},"message":"Mizar Grammar completed","distinct":true,"url":"https://api.github.com/repos/Ankit-Jaiswal/ParMizar/commits/fde0f5e85819025695bb3f125594f7e72fc558e6"}]}