• 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

          akostadinov created issue -
          Mark Waite made changes -
          Assignee Original: Mark Waite [ markewaite ]
          R. Tyler Croy made changes -
          Workflow Original: JNJira [ 166519 ] New: JNJira + In-Review [ 182413 ]

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

              Created:
              Updated: