{"push_id":594123119,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"68b81914c5549c8c983dc8deab34ccab1c811f9d","before":"5ac4633ef792390d3d30adb97a64b85669c2b8da","commits":[{"sha":"68b81914c5549c8c983dc8deab34ccab1c811f9d","author":{"email":"e253e4b56e6784659d60022d121c0a9ca58018a8@gmail.com","name":"Arthur Azevedo de Amorim"},"message":"Add specialized version of mkpartmap.","distinct":true,"url":"https://api.github.com/repos/arthuraa/coq-utils/commits/68b81914c5549c8c983dc8deab34ccab1c811f9d"}]}