dot/gitconfig.in: Push the current branch only by default.