One more thing: in most normal scenarios, the HEAD *won't* be at the right place, since there will be new commits if you're either doing a git push (except for bug #538), or fetching based on github notification.