fixed a typo and removed push.default from gitconfig