{"push_id":590888867,"size":3,"distinct_size":2,"ref":"refs/heads/experimental","head":"63ab1953b58ab14030f9dc8f96a8ed3a8b33882f","before":"dfcbf11eedb3708380d1f7d99b6ee6d776cf919e","commits":[{"sha":"58729f2452589459d97964ebd116b6dca4ab9489","author":{"email":"29eb7083085630ded4c2f914c70334cd49eb7bb3@live.com","name":"Clément Pit--Claudel"},"message":"dabbrev-to-yas: Fix incorrect order of arguments","distinct":false,"url":"https://api.github.com/repos/cpitclaudel/company-coq/commits/58729f2452589459d97964ebd116b6dca4ab9489"},{"sha":"09540b4cc910d84c13ad61962181bce8106ddfce","author":{"email":"29eb7083085630ded4c2f914c70334cd49eb7bb3@live.com","name":"Clément Pit--Claudel"},"message":"Merge branch 'master' of github.com:cpitclaudel/company-coq into experimental","distinct":true,"url":"https://api.github.com/repos/cpitclaudel/company-coq/commits/09540b4cc910d84c13ad61962181bce8106ddfce"},{"sha":"63ab1953b58ab14030f9dc8f96a8ed3a8b33882f","author":{"email":"29eb7083085630ded4c2f914c70334cd49eb7bb3@live.com","name":"Clément Pit--Claudel"},"message":"general: Remove some commented out code","distinct":true,"url":"https://api.github.com/repos/cpitclaudel/company-coq/commits/63ab1953b58ab14030f9dc8f96a8ed3a8b33882f"}]}