Re: [jbosstools-dev] Question on docs commit rights