~mdw / stgit / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (from: 510d144)
Fix the reset command to set HEAD to a proper id
authorCatalin Marinas <catalin.marinas@gmail.com>
Tue, 28 Feb 2006 21:57:35 +0000 (21:57 +0000)
committerCatalin Marinas <catalin.marinas@gmail.com>
Tue, 28 Feb 2006 21:57:35 +0000 (21:57 +0000)
By default, the git.reset() command was setting the head to the 'HEAD'
value (introduced by commit 15de5ae14f1c76adac52ca5633a679fba79a877c).
This patch fixes it and also adds an assert in the __set_head()
function to detect future bugs.

Signed-off-by: Catalin Marinas <catalin.marinas@gmail.com>

No differences found
GIT patch-maintenance porcelain (local modifications)