gitblit/gitblit — pull request #235 by dbywalec (2014-12-02 17:17:36+00:00)
Title: Add support for configurable HTTP proxy host/port in PluginManager.java

I would like to propose a small improvement to Gitblit by adding a proxy host/port setting for PluginManager.

Formerly by default the PluginMaganer would support no proxy setting. For servers behind firewall and HTTP proxy this would prevent installation of gitblit plugins.