fix git tag cmd #10

Merged
chacha merged 1 commits from dev into master 2023-03-19 20:34:23 +01:00

2
Jenkinsfile vendored
View File

@@ -176,7 +176,7 @@ pipeline {
else
{
echo "new-tag requested in commit message: $BUMPED_VERSION"
sh("git tag -a $BUMPED_VERSION")
sh("git tag $BUMPED_VERSION")
sh("git push origin master --tags")
}
}