Component leads, please tag your repositories!
$ git fetch jbosstools jbosstools-4.2.x #assuming remote is called
jbosstools, also often called origin
$ git tag jbosstools-4.2.3.Beta1 FETCH_HEAD
$ git push jbosstools jbosstools-4.2.3.Beta1
--
Nick Boldt :: JBoss by Red Hat
Productization Lead :: JBoss Tools & Dev Studio
http://nick.divbyzero.com