gitweb / git-favicon.pngon commit checkout: allow detaching to HEAD even when switching to the tip of a branch (fdc99cb)
gitweb/git-favicon.png