{"push_id":672553211,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"b4830a8c4c29fd17bf08c213d7a3c9c0c48bbe71","before":"fe0883cb40dfa00386661b4b5c72667f6a447fdc","commits":[{"sha":"b4830a8c4c29fd17bf08c213d7a3c9c0c48bbe71","author":{"email":"45a4ebca7016bddfed6bb0148c5e84fea816a798@univ-rennes1.fr","name":"Xavier Caruso"},"message":"ACM remarks","distinct":true,"url":"https://api.github.com/repos/roed314/padicprec/commits/b4830a8c4c29fd17bf08c213d7a3c9c0c48bbe71"}]}