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