![]() |
|
|
|
|
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
[email protected].
For more options, visit
https://groups.google.com/d/optout.