{"push_id":1082563342,"size":1,"distinct_size":1,"ref":"refs/heads/v8.5","head":"69c725a27a9860dba4c6e9cbbb4b4ade2100dd4c","before":"81d157b5a4a4d8f6a160ab56adef25711c87cbbb","commits":[{"sha":"69c725a27a9860dba4c6e9cbbb4b4ade2100dd4c","author":{"email":"a9e097e0d1547fda9715a401f40597aa7344c36e@gmail.com","name":"Matej Kosik"},"message":"Makefile was updated","distinct":true,"url":"https://api.github.com/repos/coq/axiomatic-abp/commits/69c725a27a9860dba4c6e9cbbb4b4ade2100dd4c"}]}