|
||||||||
|
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.
Daniel (who left a comment in this discussion back in 18/Jun/14) also submitted a pull request: <https://github.com/jenkinsci/git-plugin/pull/237>.
FWIW, I've merged his branch with the latest master as of this writing (commit dd256b25ad9ad227be4c8d19794c8f1dc5749f92) and it seems to work fine with my setup that very often trips on network errors when updating git repositories.