~mdw / stgit / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e2d769b) | patch
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)
commit510d1442b1fcabe006fcf322837980d23eaeb9c7
tree29439089a17a17564cb77738497e41f5a728a32btree | snapshot (tar.gz zip)
parente2d769b29016dcb4e2294646f52a09d777a724d1commit | diff
Fix the reset command to set HEAD to a proper id

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>
stgit/git.py diff | blob | blame | history
GIT patch-maintenance porcelain (local modifications)