From: "Felipe Contreras" <>
Sent: Tuesday, May 21, 2013 10:21 PM
On Tue, May 21, 2013 at 11:23 AM, Junio C Hamano <> wrote:
"Philip Oakley" <> writes:

On Sat, May 4, 2013 at 2:51 PM, Jonathan Nieder <>
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.

The value of the trick was acknowledged as now being in use
Not sure if that was the caring you were commenting on.

My patch was to make it better known and that it (the dot repository) isn't a 'trick'.

I'll refresh them after v1.8.3.

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.

An aside: in some domains (e.g. Human Error taxonomy) a 'mistake' is a planned action which later turns out to not be the action that would now have, in retrospect, been chosen. The intent was good, but is later classed (within the taxonomy) as a 'mistake'. (It is not related to 'blame').

If I understand the extended thread correctly, the approach moved on and alternatives were found, so in that sense the intent was good.

Felipe Contreras

To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to
More majordomo info at

Reply via email to