On 04/01/2014 10:19 PM, Jeff King wrote: > 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.
Yes. Will be done in re-roll. Michael -- Michael Haggerty mhag...@alum.mit.edu http://softwareswirl.blogspot.com/ -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html