Flush the HEAD cache in set_head_file()
commit24eede728321fce4f73d812f3af2a35f679c2f9e
authorCatalin Marinas <catalin.marinas@gmail.com>
Fri, 7 Oct 2005 21:15:38 +0000 (7 22:15 +0100)
committerCatalin Marinas <catalin.marinas@gmail.com>
Fri, 7 Oct 2005 21:15:38 +0000 (7 22:15 +0100)
tree5d4a2244ce20605c9297903e2f84e9d87ce2a928
parentc47501f994ed3b2e0906ccee5590903756fe566d
Flush the HEAD cache in set_head_file()

This function also changes the value read from the HEAD link but it didn't
flush the internal cached value.

Signed-off-by: Catalin Marinas <catalin.marinas@gmail.com>
stgit/git.py