Re: [PATCH 01/10] push: change push to fail if short refname does not exist
- From
Junio C Hamano <gitster@pobox.com>
- Date
- Oct 30, 2007, 09:22 UTC
- Message-ID
- <7v7il5lzxe.fsf@gitster.siamese.dyndns.org>
- In-Reply-To
- <AD10F15D-0F77-42BB-86CA-6404063C784B@zib.de>
Steffen Prohaska <prohaska@zib.de> writes:
Show 7 quoted lines
> On Oct 30, 2007, at 9:29 AM, Junio C Hamano wrote: > ... >> Will drop 1/10 and 2/10 for now. > > Then they'll be dropped and I'll rely on the the --dry-run flag. > > Or someone else needs to step in and support my point.
Yup, you exactly got what I meant by "for now". I reserve the right to be convinced and converted later ;-).