Commit 4b7e1b9e927eec2359f178a260335109d4222e2b

Carlos Martín Nieto 2014-01-15T13:19:48

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.