~mdw / stgit / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 51cb39d) | patch
Update .git/refs/heads/base after patch deletion
authorKarl Hasselstr\öm <kha@treskal.com>
Fri, 17 Feb 2006 21:31:44 +0000 (21:31 +0000)
committerCatalin Marinas <catalin.marinas@gmail.com>
Fri, 17 Feb 2006 21:32:53 +0000 (21:32 +0000)
commit2b4b9c29d1bc5d98eafdfdc82b99b57ebd4298d0
tree35fa5fa46b0640b45722e7f49375ad2b5d4618a3tree | snapshot (tar.gz zip)
parent51cb39dbf3530655ed5af69b135e5b4edb4b7f4fcommit | diff
Update .git/refs/heads/base after patch deletion

Save the current HEAD into refs/heads/base if the stack is empty after
a patch has been deleted. This was not done before, which caused
refs/heads/base to not be updated after 'stg commit'. To guard against
existing repositories with no applied patches and HEAD !=
refs/heads/base, also do the update every time someone asks for the
name of refs/heads/base.

Signed-off-by: Karl Hasselström <kha@treskal.com>
stgit/stack.py diff | blob | blame | history
GIT patch-maintenance porcelain (local modifications)