projectkudu/kudu — pull request #437 by davidebbo (2013-03-07 23:32:55+00:00)
Title: Use a longer timeout for server git operations

Relates to #365. Instead of getting too fancy, I simply changed that timeout to 30 minutes.