[jbosstools-dev] ACTION REQUIRED: Project leads, please tag your projects [ branch jbosstools-4.2.x -> tag jbosstools-4.2.0.Final ]

[Nick Boldt]

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


-- 
Nick Boldt :: JBoss by Red Hat
Productization Lead :: JBoss Tools & Dev Studio
http://nick.divbyzero.com