From: Junio C Hamano <gitster@pobox.com>
Date: Mon, 30 Oct 2017 04:56:10 GMT
Subject: Re: [PATCH 6/7] refs: rename constant `REF_NODEREF` to `REF_NO_DEREF`
Message-ID: <xmqqvaix5j4l.fsf@gitster.mtv.corp.google.com>
In-Reply-To: <173511d3d5382acf25d6648586347104d2f4886d.1509183413.git.mhagger@alum.mit.edu>

Michael Haggerty <mhagger@alum.mit.edu> writes:

> Even after working with this code for years, I still see this constant
> name as "ref node ref". Rename it to make it's meaning clearer.

Yay ;-).