| commit | 577892c8dc4181cd70928f8e64bdcf2490ca44b4 | [log] [tgz] |
|---|---|---|
| author | David Pursehouse <david.pursehouse@sonymobile.com> | Wed Jan 13 11:18:20 2016 +0900 |
| committer | David Pursehouse <david.pursehouse@sonymobile.com> | Wed Jan 13 11:51:14 2016 +0900 |
| tree | 87a76e160072dbdb5ef4ffde7168f6ba5cfc6427 | |
| parent | e6b5623dbd6aea9e322a11ef6287aac57ce6b0c9 [diff] |
Revert "Remove obsolete remote.NAME.timeout from config documentation" Although the timeout setting is not explicitly read in the plugin's implementation, it is actually used by JGit when pushing to the remote: tn.applyConfig(config); so it was wrong to remove this documentation. Add it back. This reverts commit 10b903e488519a215dc0701c9e275745fbca5b9a. Change-Id: I50892e73136b369ec5822b9d7039ad918e2f6d05