|
||||||||
|
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.
Force push from a Jenkins job seems like a very dangerous option.
Can you describe further why you want a Jenkins job to be able to delete history from a repository?
The Jenkins plugin can merge, and can push that merge result, so long as no intervening commit has been pushed to the destination branch in the central repository. If an intervening commit has been pushed to the destination branch, then the Jenkins job is not allowed to push the merge result because it would overwrite the intervening commit with that forced push.