From 51eeb80d8a7746ccb71fdda25e0642920f2c5880 Mon Sep 17 00:00:00 2001 From: Tshepang Mbambo Date: Mon, 21 Jul 2025 12:19:20 +0200 Subject: [PATCH 1/2] add rdg push git config entry for git protocol pushers (again) --- src/external-repos.md | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/src/external-repos.md b/src/external-repos.md index ecc65b26a..667cca317 100644 --- a/src/external-repos.md +++ b/src/external-repos.md @@ -80,6 +80,16 @@ 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/" +> ``` + 1) Run the push command to create a branch named `` in a `rustc` fork under the `` account ``` rustc-josh-sync push From d79787c75cd5e2b61e62a2a446a55ade22e25f15 Mon Sep 17 00:00:00 2001 From: Tshepang Mbambo Date: Mon, 21 Jul 2025 13:25:14 +0200 Subject: [PATCH 2/2] already documented elsewhere --- src/external-repos.md | 10 ++-------- 1 file changed, 2 insertions(+), 8 deletions(-) diff --git a/src/external-repos.md b/src/external-repos.md index 667cca317..75774e345 100644 --- a/src/external-repos.md +++ b/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 `` in a `rustc` fork under the `` 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