[jbosstools-dev] Question on docs commit rights