chacha/pygitversionhelper
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases 132 Wiki Activity

fix: remove branch on git push (useless) #11

Merged
chacha merged 1 commits from dev into master 2023-03-19 20:41:37 +01:00
Conversation 0 Commits 1 Files Changed 1 +1 -1
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
Jenkinsfile vendored
View File

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