libgit2/libgit2 — pull request #2190 by carlosmn (2014-03-17 14:23:40+00:00)
Title: refs: append to the HEAD reflog when updating the current branch

When we update the current branch, we must also append to HEAD's reflog
to keep them in sync.

This is a bit of a hack, but as git.git says, it covers 100% of
default cases.