Re: [PATCH] fix an error message in git-push so it goes to stderr
- From
- Jeff King <jrk@wrek.org>
- Date
- Feb 5, 2010, 19:48 UTC
- Message-ID
- <20100205194824.GD24474@coredump.intra.peff.net>
- In-Reply-To
- <20100205193950.GA18108@cthulhu>
On Fri, Feb 05, 2010 at 02:39:50PM -0500, Larry D'Anna wrote:
Show 5 quoted lines
> Also it seems to me that git push --dry-run --porcelain should exit successfully > even if it knows some refs will be rejected. The calling script can see just > fine for itself that they will be rejected, and it probably still wants to know > whether or not the dry-run succeeded, which has nothing to do with whether or > not the same push would succeed as a not-dry-run.
I think that is OK, but only if "git push --dry-run" still exits with an error case, since people may be using it for "will this push work?" and not simply "did an error occur?".
-Peff