Give code ownership of merging doc to pushers team to notify members when it changes.
Give code ownership of merging doc to pushers team to notify members when it changes.

coq/coq,gares/coq,Matafou/coq,silene/coq,ppedrot/coq,ejgallego/coq,JasonGross/coq,ppedrot/coq,ejgallego/coq,ppedrot/coq,JasonGross/coq,Zimmi48/coq,maximedenes/coq,coq/coq,SkySkimmer/coq,maximedenes/coq,Zimmi48/coq,gares/coq,ejgallego/coq,Matafou/coq,silene/coq,ppedrot/coq,Zimmi48/coq,ejgallego/coq,Zimmi48/coq,maximedenes/coq,gares/coq,gares/coq,coq/coq,JasonGross/coq,SkySkimmer/coq,maximedenes/coq,maximedenes/coq,coq/coq,JasonGross/coq,SkySkimmer/coq,ppedrot/coq,gares/coq,Matafou/coq,silene/coq,SkySkimmer/coq