Component leads, please tag your repositories!

$ git fetch jbosstools jbosstools-4.2.x #assuming remote is called jbosstools, also often called origin
$ git checkout FETCH_HEAD
$ git tag jbosstools-4.2.0.CR1
$ git push jbosstools jbosstools-4.2.0.CR1