Commit e86d02f92de2c446b370e4711dcfe2ea5ce75166

Edward Thomson 2017-04-03T00:10:47

git_repository_set_head: use remote name in reflog When `git_repository_set_head` is provided a remote reference, update the reflog with the tag name, like we do with a branch. This helps consumers match the semantics of `git checkout remote`.