Johannes Schindelin wrote:
Hi,
On Tue, 22 Apr 2008, Jeff King wrote:
OTOH, if you are using non-separate-remote layout, I think it makes
sense to _not_ have the "+". OTOOH, when you call the option --mirror,
it makes me think of "push --mirror" which implies "+".
I am glad somebody else than me finds this to be a dilemma.
Pushing to a mirror implies a "+". But pulling from a mirror had better
not imply a "+", as Dscho pointed out in this thread and implemented in
his patch.
Non-fast-forward pulls from a non-mirror are safe, so they can imply a "+".
Maybe, "git remote add --mirror" should add a "push" line instead of a
"fetch" line, and should not allow -f or -t options.
Paolo
--
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
