Re: [RFC/PATCH 2/2] doc: command line interface (cli) dot-repository dwimmery
- From
Felipe Contreras <felipe.contreras@gmail.com>
- Date
- May 21, 2013, 21:21 UTC
- Message-ID
- <CAMP44s3G5BPbw3MO8W3rmDabJ-ewf-C5FH8HHO_o0cPf0f55BA@mail.gmail.com>
- In-Reply-To
- <7vfvxgqp3m.fsf@alter.siamese.dyndns.org>
On Tue, May 21, 2013 at 11:23 AM, Junio C Hamano <gitster@pobox.com> wrote:
> "Philip Oakley" <philipoakley@iee.org> writes:
Show 10 quoted lines
>> On Sat, May 4, 2013 at 2:51 PM, Jonathan Nieder <jrnieder@gmail.com> >> wrote: >>> Another trick is to use "git push": >>> git push . $production_sha1:refs/heads/master > > It all falls out naturally from the "Git is distributed and no > repository is special" principle. I think that word "trick" merely > refers to "those who do not realize that the local repository is not > all that special and merely is _a_ repository just like anybody > else's may not realize they can do this", nothing more.
Nobody cares.
Show 5 quoted lines
>> Filipe gave 'git fetch .' in [PATCH 1/3] fetch: add --allow-local >> option, 16 May 2013 > > That patch came from a mistaken suggestion from me that was > retracted with
You say it's "mistaken", but you are not the arbiter of truth; the fact that you say it's so doesn't make it so. It's just rhetoric.
You haven't shown that it's indeed mistaken.
-- Felipe Contreras