]
Max Rydahl Andersen updated JBIDE-15918:
----------------------------------------
Fix Version/s: LATER
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
Fix For: LATER
[~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}