git-pull: further safety while on tracking branch.