From: Jeff King Date: Tue, 01 Apr 2014 20:19:06 GMT Subject: Re: [PATCH 09/22] api-lockfile: expand the documentation Message-ID: <20140401201906.GF21715@sigill.intra.peff.net> In-Reply-To: <1396367910-7299-10-git-send-email-mhagger@alum.mit.edu> On Tue, Apr 01, 2014 at 05:58:17PM +0200, Michael Haggerty wrote: > +unable_to_lock_error:: > + > + Emit an error describing that there was an error locking the > + specified path. The err parameter should be the errno of the > + problem that caused the failure. > + > +unable_to_lock_index_die:: > + > + Like `unable_to_lock_error()`, but also `die()`. Should this last one lost the "index" in its name? I think it is vestigial at this point. -Peff