{"push_id":1086600860,"size":1,"distinct_size":1,"ref":"refs/heads/v8.5","head":"46aedfd5660877fe7448f409187f34a633eea4e5","before":"66a92acbf6b9fbbb0c33d977e93f4feb80d11c8d","commits":[{"sha":"46aedfd5660877fe7448f409187f34a633eea4e5","author":{"email":"a9e097e0d1547fda9715a401f40597aa7344c36e@gmail.com","name":"Matej Kosik"},"message":"updating Makefile","distinct":true,"url":"https://api.github.com/repos/coq-contribs/stalmarck/commits/46aedfd5660877fe7448f409187f34a633eea4e5"}]}