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

["Stephen R. van den Berg" <srb@cuci.nl>]

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.