gitblit/gitblit — pull request #233 by jsmucr (2014-11-27 12:18:34+00:00)
Title: Added a new property web.displayUserPanel

This property allows the administrator to hide the user related part of the top panel. This can come handy if
there's no use for it (i.e. if Gitblit runs as Gerrit plugin, which is exactly why I'd like to hide it -- there's no use for it then and the options availible don't work anyway).