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.Final FETCH_HEAD
$ git push jbosstools jbosstools-4.2.3.Final

--
Mickael Istria
Eclipse developer at JBoss, by Red Hat
My blog - My Tweets

_______________________________________________
jbosstools-dev mailing list
jbosstools-dev@lists.jboss.org
https://lists.jboss.org/mailman/listinfo/jbosstools-dev