tree f6634269f376722a2283f9bb2de5e851fbe296c6
parent 7dbbcde3b47e634019c185cda9912a688a8a6bda
author Luca Milanesio <luca.milanesio@gmail.com> 1451178832 +0000
committer Luca Milanesio <luca.milanesio@gmail.com> 1456137457 +0000

Allow GitHub HTTP connection timeout settings

GitHub API response time can be very unstable and we don't want pending
calls to cause starvation of Gerrit threads, harming the stability
of the system. HTTP connection and read timeout can be set using the
"human readable form" values for the httpConnectionTimeout and
httpReadTimeout settings under [github] stanza.

Example:

[github]
  httpConnectionTimeout = 10 seconds
  httpReadTimeout = 1 minute

Change-Id: Ic19f7bf6c8b4685c363a8204c32d827ffda52ec0