{"push_id":966984491,"size":1,"distinct_size":1,"ref":"refs/heads/master","head":"0533c8c19f93dc7683420284b58aa7ed443e0974","before":"883d119f244bca5876fe863bee4543df62161ec1","commits":[{"sha":"0533c8c19f93dc7683420284b58aa7ed443e0974","author":{"email":"29eb7083085630ded4c2f914c70334cd49eb7bb3@live.com","name":"Clément Pit--Claudel"},"message":"subscripts: Subscript numbers before dots (ie recognize P₁.P₂.P₃)","distinct":true,"url":"https://api.github.com/repos/cpitclaudel/company-coq/commits/0533c8c19f93dc7683420284b58aa7ed443e0974"}]}