diff options
| author | Tshepang Mbambo <hopsi@tuta.io> | 2025-07-21 13:25:14 +0200 |
|---|---|---|
| committer | Tshepang Mbambo <hopsi@tuta.io> | 2025-07-21 13:25:14 +0200 |
| commit | c8ef2117d7d3168ad576aac4053599c219c811f8 (patch) | |
| tree | 870a5e57d79a38a71f3bb1e635e62d59827910b6 /src/doc/rustc-dev-guide | |
| parent | 4304b7b80ad954643e0477f5e2cbd04e9ed6c79f (diff) | |
already documented elsewhere
Diffstat (limited to 'src/doc/rustc-dev-guide')
| -rw-r--r-- | src/doc/rustc-dev-guide/src/external-repos.md | 10 |
1 files changed, 2 insertions, 8 deletions
diff --git a/src/doc/rustc-dev-guide/src/external-repos.md b/src/doc/rustc-dev-guide/src/external-repos.md index 667cca317b9..75774e345fb 100644 --- a/src/doc/rustc-dev-guide/src/external-repos.md +++ b/src/doc/rustc-dev-guide/src/external-repos.md @@ -81,14 +81,7 @@ switch to its repository checkout directory in your terminal). #### Performing push > NOTE: -> If you use Git protocol to push to your fork of `rust-lang/rust`, -> ensure that you have this entry in your Git config, -> else the 2 steps that follow would prompt for a username and password: -> -> ``` -> [url "git@github.com:"] -> insteadOf = "https://github.com/" -> ``` +> Before you proceed, look at some guidance related to Git [on josh-sync README], 1) Run the push command to create a branch named `<branch-name>` in a `rustc` fork under the `<gh-username>` account ``` @@ -183,3 +176,4 @@ the week leading up to the beta cut. [Toolstate chapter]: https://forge.rust-lang.org/infra/toolstate.html [josh]: https://josh-project.github.io/josh/intro.html [josh-sync]: https://github.com/rust-lang/josh-sync +[on josh-sync README]: https://github.com/rust-lang/josh-sync#git-peculiarities |