Component leads, please tag your repositories!
$ git fetch jbosstools jbosstools-4.3.0.Beta2x #assuming remote is
called jbosstools, also often called origin
$ git tag jbosstools-4.3.0.Beta2 FETCH_HEAD
$ git push jbosstools jbosstools-4.3.0.Beta2
The complete list of projects in JBoss Tools, and the SHAs used to build
those projects, can be seen here:
http://download.jboss.org/jbosstools/static/mars/development/updates/core...