gitblit/gitblit — pull request #234 by jsmucr (2014-11-27 13:02:35+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).