.gitconfig: correct pager and push.default=simple