{"push_id":1086125839,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"1048031c52bda30149426290e8dee4652192f5a7","before":"72dd6dd6bcef88a4863d19892910015be664e1ba","commits":[{"sha":"1048031c52bda30149426290e8dee4652192f5a7","author":{"email":"a9e097e0d1547fda9715a401f40597aa7344c36e@gmail.com","name":"Matej Kosik"},"message":"updating Makefile","distinct":true,"url":"https://api.github.com/repos/coq-contribs/graphs/commits/1048031c52bda30149426290e8dee4652192f5a7"}]}