Re: [JGIT PATCH 2/6] Add remote.name.timeout to configure an IO timeout
From: Robin Rosenberg <hidden>
Date: 2016-06-15 22:46:58
fredag 19 juni 2009 23:27:51 skrev "Shawn O. Pearce" [off-list ref]:
An IO timeout can be useful if the remote peer stops responding, and the user wants the application to abort rather than block indefinitely waiting for more input. This is a JGit specific extension to the standard remote format.
Can we we assume C Git won't implement the same thing with a different parameter name, or worse, the same name, but a different unit? -- robin