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.2.Final FETCH_HEAD $ git push jbosstools jbosstools-4.2.2.Final
_______________________________________________ jbosstools-dev mailing list jbosstools-dev@lists.jboss.org https://lists.jboss.org/mailman/listinfo/jbosstools-dev