gitlabhq/gitlabhq — pull request #4159 by denics (2013-06-01 12:20:50+00:00)
Title: Update 3.0-to-3.1.md

After encountering the same proxy configuration problem, and doing some google search, I think it would be nice to have the solution directly in the page :)