From df7970bf0deda8eb25bc2e3915110c779ed84e65 Mon Sep 17 00:00:00 2001 From: Michele <62351258+mikysett@users.noreply.github.com> Date: Wed, 15 Feb 2023 22:10:06 +0000 Subject: [PATCH] Typo --- src/contributing.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/contributing.md b/src/contributing.md index 846051b0..383660fc 100644 --- a/src/contributing.md +++ b/src/contributing.md @@ -202,7 +202,7 @@ Periodically the changes made to subtree based dependencies need to be synchroni repository and the upstream tool repositories. Subtree synchronizations are typically handled by the respective tool maintainers. Other users -are welcome to submit synchronization PRs, however, in order to do so you you will need to modify +are welcome to submit synchronization PRs, however, in order to do so you will need to modify your local git installation and follow a very precise set of instructions. These instructions are documented, along with several useful tips and tricks, in the [syncing subtree changes][clippy-sync-docs] section in Clippy's Contributing guide.