Move the Git pointer to HEAD after a git pull