Re: [PATCH v3 1/3] git-push: fix an error message so it goes to stderr

Larry D'Anna [off-list ref] writes:

Having it go to standard output interferes with git-push --porcelain.

Could you at least update this rationale?

You will be squelching this in [2/3] when --porcelain is used, so the
above is no longer a good justification.  It won't interfere at all.