-
Bug
-
Resolution: Unresolved
-
Minor
-
None
-
1.609.3
Git publisher plug-in can push current HEAD to remote repo but does not allow arbitrary branch specifier.
What I'm doing is performing repo mirror periodically, e.g.
git push mirror origin/master:master git push mirror origin/another_branch:another_branch
I have a workaround to use ssh agent environemnt plug-in + shell commands but would be nice if option to specify custom source branch is possible.
P.S. I see that mirroring can be done but only for a single branch per job definition. So if you have multiple branches to mirror it means extrapolating job number and making job management harder.
Impacts us, too. We have a job which tags and merges the branch we have the release done from: first, it creates tag for the current branch, then it merges it into 'master', then it merges 'master' into 'develop'. We have a script which does tagging and merging by using native 'git' command, but it can't push without extra work.