[jbosstools-issues] [JBoss JIRA] (JBIDE-15918) Could Jenkins perform tagging of its own repo?

Could Jenkins perform tagging of its own repo? ---------------------------------------------- Key: JBIDE-15918 URL: https://issues.jboss.org/browse/JBIDE-15918 Project: Tools (JBoss Tools) Issue Type: Bug Components: build Affects Versions: 4.1.1.Beta1 Reporter: Nick Boldt Priority: Minor [~maxandersen] said: {quote} Project leads, please tag your projects! {code} co jbosstools-4.1.1.Beta1x git tag jbosstools-4.1.1.Beta1 git push origin jbosstools-4.1.1.Beta1 {code} {quote} Then asked: {quote} Really would be nice if jenkins could just make such tags in its own repository and we could move the exact commit over from the "build" repository to the master repository. {quote}