[PATCH 4/7] gitdir: add HEAD property to find the current branch