Johannes Schindelin <Johannes.Schindelin@xxxxxx> 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.