Groups
Groups
Sign in
Groups
Groups
Jenkins Developers
Conversations
About
Send feedback
Help
[PLUGIN DEV] PR for git-client-plugin
7 views
Skip to first unread message
Erik Håkansson
unread,
Oct 31, 2016, 4:43:41 AM
10/31/16
Reply to author
Sign in to reply to author
Forward
Sign in to forward
Delete
You do not have permission to delete messages in this group
Copy link
Report message
Show original message
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message
to Jenkins Developers
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
Reply all
Reply to author
Forward
0 new messages