git config: push default -> simple