diff options
| -rw-r--r-- | CONTRIBUTING.md | 6 |
1 files changed, 1 insertions, 5 deletions
diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index fb1d43c8711..be31cc26da5 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -198,9 +198,6 @@ differently from other crates that are directly in this repo: They are just regular files and directories. This is in contrast to `submodule` dependencies (see below for those). -If you want to synchronize or otherwise work with subtrees, install the `git subtree` command via -instructions found at https://github.com/ingydotnet/git-subtree - #### Synchronizing a subtree There are two synchronization directions: `subtree push` and `subtree pull`. @@ -230,8 +227,7 @@ This will create a new commit, which you may not rebase under any circumstances! and redo the operation if you need to rebase. Now you're done, the `src/tools/clippy` directory behaves as if clippy were part of the rustc -monorepo, so no one but you (or others that synchronize subtrees) needs to have `git subtree` -installed. +monorepo, so no one but you (or others that synchronize subtrees) needs actually use `git subtree`. ### External Dependencies (submodules) |