-
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.
[JENKINS-31267] cannot push non-HEAD to remote repo
Assignee | Original: Mark Waite [ markewaite ] |
Workflow | Original: JNJira [ 166519 ] | New: JNJira + In-Review [ 182413 ] |