From b617a612bbf24f2c1ec99f0e868738f4a68874b5 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 c8f3d0ae7..2c4aec563 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.