Re: [PATCH] Add a --user option to git-config
- From
Johannes Schindelin <johannes.schindelin@gmx.de>
- Date
- Jul 28, 2007, 20:04 UTC
- Message-ID
- <Pine.LNX.4.64.0707282103150.14781@racer.site>
- In-Reply-To
- <46AB7041.8070605@ramsay1.demon.co.uk>
Hi,
On Sat, 28 Jul 2007, Ramsay Jones wrote:
> > At present, the --global option is something of a misnomer, so > we introduce the --user option as a synonym, with the intention > of removing the old option in the future.
Ack for the intention, except for "removing the old option in the future". We do not need to advertise it, but breaking existing functionality, which might be used by scripts and aliases is bad.
Ciao, Dscho