Re: [PATCH 2/7] add push line in git-clone
- From
Paolo Bonzini <bonzini@gnu.org>
- Date
- May 14, 2008, 19:40 UTC
- Message-ID
- <482B403C.5060101@gnu.org>
- In-Reply-To
- <7vod78n10h.fsf@gitster.siamese.dyndns.org>
Show 5 quoted lines
> I think we are in agreement and that is all the more reason we have to be > extremely careful not to introduce incompatibility without a clear > advantage. The commands involved with your patch work with or without the > new default entry in the config created by the clone exactly the same way, > and the versions before your patch would choke with the new default entry.
Ok, this patch is (for now :-) withdrawn. I think I'll punt and prepare something along the lines of "git remote push". When I get to that, we can reconsider this patch too.
Paolo