![]() |
|
|
Issue Type:
|
Bug
|
Affects Versions:
|
current |
Assignee:
|
Nicolas De Loof
|
Components:
|
git, git-chooser-alternative |
Created:
|
14/Apr/14 9:09 AM
|
Description:
|
If the "create tag" & "update new tag" options are checked, git should push the created/updated with -f / force, otherwise the (central) git repository would reject the updated tag and the build fails.
i don't know if this is already achievable with some update hook hacking (delete tag on tag-push?)
|
Project:
|
Jenkins
|
Priority:
|
Minor
|
Reporter:
|
Steffen Buehl
|
|
|
|
This message is automatically generated by JIRA.
If you think it was sent incorrectly, please contact your JIRA administrators.
For more information on JIRA, see: http://www.atlassian.com/software/jira
|
--
You received this message because you are subscribed to the Google Groups "Jenkins Issues" group.
To unsubscribe from this group and stop receiving emails from it, send an email to
jenkinsci-issues+unsubscr...@googlegroups.com.
For more options, visit
https://groups.google.com/d/optout.