Bug: `git remote show <remote>` reports different HEAD branch than refs/remotes/<remote>/HEAD

I have a git repo that shows a different branch in `.git/refs/remotes/origin/HEAD` than is reported by `git remote show origin`.

The branch is `github-rename` in refs/remotes/origin/HEAD, but shows `master` in output of git-remote-show

``` $ cat .git/refs/remotes/origin/HEAD ref: refs/remotes/origin/github-rename

$ git remote show origin
* remote origin
  Fetch URL: git@XXXX.git
  Push  URL: git@XXXX.git
  HEAD branch: master
  Remote branches:
    github-rename     tracked
    master            tracked
    qa                tracked
    refactor-test     tracked
  Local branches configured for 'git pull':
    github-rename merges with remote github-rename
    master        merges with remote master
  Local refs configured for 'git push':
    github-rename pushes to github-rename (up to date)
    master        pushes to master        (up to date)
```

git version 2.14.1

Background:

Prior to my repo being cloned, the default branch was configured to be `some-random-branch` on github. My repo was cloned and the HEAD branch was set to `some-random-branch` correctly (in `refs/`). However, git-remote-show reported `master` as the HEAD branch.

Later, `some-random-branch` was deleted from the remote. It _remained_ as the HEAD branch locally according to `refs/`.

In order to test the remote-show command, I changed the HEAD branch to a branch that actually existed by running `git remote set-head origin github-rename`. It changed the HEAD branch in `refs/` but remote-show continues to report `master` as the remote's HEAD.

Thanks, Jason Karns