Skip to content

Commit

Permalink
Typo
Browse files Browse the repository at this point in the history
  • Loading branch information
@mikysett @tshepang
mikysett authored and tshepang committed Feb 16, 2023
1 parent 4a86a8d commit df7970b
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion src/contributing.md
View file
Original file line number Diff line number Diff line change
Expand Up @@ -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.
Expand Down

0 comments on commit df7970b

Please sign in to comment.