Join GitHub today
GitHub is home to over 28 million developers working together to host and review code, manage projects, and build software together.Sign up
Fixes #22667. Replaced leader/follower terminology with primary/replica #2694
It's not clear to me that these documents are maintaining a clear distinction in meaning between the two forms.
If there is no difference being implied by the different forms, then I would prefer that we use the same one throughout, because seeing two different ones could cause doubt in a reader's mind.
Other than that, and if 'primary/replica' is both technically correct and easily understandable to most people, then it looks good to me.