From: Junio C Hamano Date: Wed, 05 Oct 2016 16:23:22 GMT Subject: Re: [PATCH v3 3/6] Make the require_clean_work_tree() function reusable Message-ID: In-Reply-To: Johannes Schindelin writes: >> The function "git pull" uses to stop the user when the working >> tree has changes is useful in other places. > > I stumbled over this sentence. How about > > The function used by "git pull" to stop [...] > > instead? Perfect. Thanks.