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)
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>

No differences found