diff options
| -rw-r--r-- | src/doc/rustc-dev-guide/src/external-repos.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/doc/rustc-dev-guide/src/external-repos.md b/src/doc/rustc-dev-guide/src/external-repos.md index 75774e345fb..44d4b5b4b38 100644 --- a/src/doc/rustc-dev-guide/src/external-repos.md +++ b/src/doc/rustc-dev-guide/src/external-repos.md @@ -81,7 +81,7 @@ 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], +> 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 ``` |