Jeff King writes:
> I admit both of those are uses for git _developers_, though, not git
> _users_.
Yes, this is meant for developers and not users.
The initial question probably should have stated more explicitly,
e.g. "I am wondering if it would be helpful to developers if we
On Mon, Oct 03, 2016 at 01:06:10PM +0200, Johannes Schindelin wrote:
> Hi,
>
> On Tue, 27 Sep 2016, Jeff King wrote:
>
> > On Tue, Sep 27, 2016 at 10:05:37AM -0700, Junio C Hamano wrote:
> >
> > > The subject says it all. Would it be bad if we introduce an
> > > environment variable,
Hi,
On Tue, 27 Sep 2016, Jeff King wrote:
> On Tue, Sep 27, 2016 at 10:05:37AM -0700, Junio C Hamano wrote:
>
> > The subject says it all. Would it be bad if we introduce an
> > environment variable, GIT_SYSTEM_CONFIG=/etc/gitconfig, that names
> > an alternative location of the system-wide
3 matches
Mail list logo