2009/3/30 Johannes Schindelin <Johannes.Schindelin@xxxxxx>: > Hi, > > On Mon, 30 Mar 2009, Finn Arne Gangstad wrote: > >> On Sun, Mar 29, 2009 at 12:10:04AM +0100, Santi Béjar wrote: >> > push.default was too generic, and also didn't specify if it was about >> > remote, refspec, branches, behaviour... >> > [...] >> > "You can specify what action you want to take in this case, and", >> > - "avoid seeing this message again, by configuring 'push.default' to:", >> > + "avoid seeing this message again, by configuring 'push.style' to:", >> > " 'nothing' : Do not push anything", >> > " 'matching' : Push all matching branches (default)", >> > " 'tracking' : Push the current branch to whatever it is tracking", >> > [...] >> >> I don't think "push.style" is an improvement. "style" sounds like it >> affects all pushes. Not for me. I says the style of the push. But maybe push.mode could be better. >> This configuration variable says what push should do >> when no refspec is given and none are configured, so the word "default" >> should be in there at least. Maybe "defaultref" would have been better? I don't see the point of the word default, a lot of configuration is to set the default value. Git has branch.name.remote, not branch.name.defaultremote, or user.email, not user.defaultemail,... > > I'd prefer "push.defaultMode", but... > >> Some people may have started setting push.default already, so changing >> the name may cause additional grief. > > ... indeed, it is too late now. The milk has boiled already. I have it configured, but I think we can fix these type of things while they are in 'next'. Santi -- 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
