Re: [PATCH resend] make "git push" update origin and mirrors, "git push --mirror" update mirrors

From: Stephen R. van den Berg <srb@cuci.nl>
Date: Apr 28, 2008, 06:08 UTC
Message-ID: <20080428060810.GA11858@cuci.nl>
In-Reply-To: <20080428033237.GN29771@spearce.org>

Shawn O. Pearce wrote:

>It also clearly harms people who have only origin and want to grab
>updates from there with just `git fetch` or `git pull`.  Such a
>change would be asking these users to enter a longer command line.

Maybe this can be accomodated by having git fetch/git pull reference all targets specified in the config file if none are specified on the command line?

>On the other hand, I think it would teach those users how to better
>make use of git, and may cause less questions when they have to
>step slightly outside of their normal use case and specify a refspec.

I've been using git since november, and I found the magic "origin" default one of the most confusing aspects (to figure out when it applies and when not, and why (or why not)).

-- 
Sincerely,                                                          srb@cuci.nl
           Stephen R. van den Berg.