git: remove old token from .gitconfig
git: clean up git pushing/pulling