[JIRA] [git-plugin] (JENKINS-31267) cannot push non-HEAD to remote repo

[akostadinov@java.net (JIRA)]

akostadinov created an issue

Jenkins / JENKINS-31267 cannot push non-HEAD to remote repo Issue Type: Bug Assignee: Mark Waite Components: git-plugin Created: 29/Oct/15 4:44 PM Environment: 1.609.3 Priority: Minor Reporter: akostadinov 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. Add Comment

This message was sent by Atlassian JIRA (v6.4.2#64017-sha1:e244265)

[mark.earl.waite@gmail.com (JIRA)]

Mark Waite assigned an issue to Unassigned

Jenkins / JENKINS-31267 cannot push non-HEAD to remote repo

Change By: Mark Waite Assignee: Mark Waite

Add Comment

[furax@ya.ru (JIRA)]

Dmitry Baskakov commented on JENKINS-31267

Re: 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.

Add Comment

This message was sent by Atlassian Jira (v7.13.6#713006-sha1:cc4451f)