{"push_id":946070820,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"f0755a1ba815a2babf6356160a9248088d4f41aa","before":"50f1f8fca3b1c0c755a4b2920967f5437ea906e1","commits":[{"sha":"f0755a1ba815a2babf6356160a9248088d4f41aa","author":{"email":"29eb7083085630ded4c2f914c70334cd49eb7bb3@live.com","name":"Clément Pit--Claudel"},"message":"code-folding: Use a thin space before the ellipsis","distinct":true,"url":"https://api.github.com/repos/cpitclaudel/company-coq/commits/f0755a1ba815a2babf6356160a9248088d4f41aa"}]}