Fix the caching of the HEAD value
authorCatalin Marinas <catalin.marinas@gmail.com>
Thu, 6 Oct 2005 09:52:52 +0000 (10:52 +0100)
committerCatalin Marinas <catalin.marinas@gmail.com>
Thu, 6 Oct 2005 09:52:52 +0000 (10:52 +0100)
commitba1a4550a02d89ed021d7c9e909fdba8e097888d
tree8dff362151c3098a4d7daf5c3f31fe1da93a07f1
parent7c47d096c74a2654fc9d67490adbe3066d24df98
Fix the caching of the HEAD value

'git pull' also updates the HEAD but StGIT did not flush the cached value
causing problems with pulling.

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