On Sat, Oct 19, 2024 at 12:06:54PM +0200, Kristoffer Haugsbakk wrote:

I can confirm that this patch only does that.  Except:

quoted

---
[…]
-Suppose that that central repository has this history:
+Suppose that the central repository has this history:

Here the doubled “that” is replaced with “the” which makes the sentence
correct.  Good.

There are also no grammatically correct “that that” constructs that have
been removed.

Thanks for a careful review.

Thanks,
Taylor