diff options
| author | Jakub Beránek <berykubik@gmail.com> | 2025-07-21 13:29:46 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-07-21 13:29:46 +0200 |
| commit | ff2bfe09b19c2dab070bbdf1d7383524e9c0e2d2 (patch) | |
| tree | 14e209922db27141b7e3e88438c5f38475e1a7b7 /src/doc/rustc-dev-guide | |
| parent | 62e3a05291ef782cf212675d9e13c0b937c788c8 (diff) | |
| parent | c8ef2117d7d3168ad576aac4053599c219c811f8 (diff) | |
| download | rust-ff2bfe09b19c2dab070bbdf1d7383524e9c0e2d2.tar.gz rust-ff2bfe09b19c2dab070bbdf1d7383524e9c0e2d2.zip | |
Merge pull request #2514 from rust-lang/tshepang/for-ssh-protocol
add rdg push git config entry for git protocol pushers (again)
Diffstat (limited to 'src/doc/rustc-dev-guide')
| -rw-r--r-- | src/doc/rustc-dev-guide/src/external-repos.md | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/doc/rustc-dev-guide/src/external-repos.md b/src/doc/rustc-dev-guide/src/external-repos.md index ecc65b26ab7..75774e345fb 100644 --- a/src/doc/rustc-dev-guide/src/external-repos.md +++ b/src/doc/rustc-dev-guide/src/external-repos.md @@ -80,6 +80,9 @@ switch to its repository checkout directory in your terminal). #### Performing push +> NOTE: +> 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 ``` rustc-josh-sync push <branch-name> <gh-username> @@ -173,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 |