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

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.