From: "Felipe Contreras" <felipe.contre...@gmail.com>
Sent: Tuesday, May 21, 2013 10:21 PM
On Tue, May 21, 2013 at 11:23 AM, Junio C Hamano <gits...@pobox.com>
"Philip Oakley" <philipoak...@iee.org> writes:
On Sat, May 4, 2013 at 2:51 PM, Jonathan Nieder <jrnie...@gmail.com>
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.
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
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
If I understand the extended thread correctly, the approach moved on and
alternatives were found, so in that sense the intent was good.
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majord...@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html