{"push_id":566302256,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"27142aff3b2e1396c481a82abbc49283b598f6a7","before":"297d957852c2e55b6c9cc8ae5196170d554ab4cc","commits":[{"sha":"27142aff3b2e1396c481a82abbc49283b598f6a7","author":{"email":"34c6fceca75e456f25e7e99531e2425c6c1de443@clarus.me","name":"Guillaume Claret"},"message":"Update 2014-11-25 Make a Coq package.md","distinct":true,"url":"https://api.github.com/repos/clarus/coq-blog/commits/27142aff3b2e1396c481a82abbc49283b598f6a7"}]}