• Icon: Bug Bug
    • Resolution: Unresolved
    • Icon: Minor Minor
    • git-plugin
    • 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

          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.

          Dmitry Baskakov added a comment - 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.

            Unassigned Unassigned
            akostadinov akostadinov
            Votes:
            1 Vote for this issue
            Watchers:
            2 Start watching this issue

              Created:
              Updated: