Hi!
I've submitted a PR for the git-client-plugin. https://github.com/jenkinsci/git-client-plugin/pull/221 It is sort of a blocker for us at work, and we're running a locally compiled version of the plugin right now, but would much rather use the official build. The PR simply allows configuration of the default git timeout on a global level rather than always defaulting to a system property. Thank you in advance! Erik -- You received this message because you are subscribed to the Google Groups "Jenkins Developers" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-dev/a01ad647-6bc5-4b6c-b125-33db1135558a%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
