Johannes Schindelin <johannes.schinde...@gmx.de> 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.
