user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Merge pull request #2514 from rust-lang/tshepang/for-ssh-protocol

Browse source 
add rdg push git config entry for git protocol pushers (again)
This commit is contained in:
Jakub Beránek 2025-07-21 13:29:46 +02:00 • committed by GitHub
commit ff2bfe09b1
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 4 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

4
src/doc/rustc-dev-guide/src/external-repos.md
View file

@ -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