You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
First, create a configuration file for a given subtree repo using `josh-sync init`. The config will be created under the path `josh-sync.toml`. Modify the file to fill in the name of the subtree repository (e.g. `stdarch`) and its relative path in the main `rust-lang/rust` repository (e.g. `library/stdarch`).
14
+
First, create a configuration file for a given subtree repo using `rustc-josh-sync init`. The config will be created under the path `josh-sync.toml`. Modify the file to fill in the name of the subtree repository (e.g. `stdarch`) and its relative path in the main `rust-lang/rust` repository (e.g. `library/stdarch`).
15
15
16
16
If you need to specify a more complex Josh `filter`, use `filter` field in the configuration file instead of the `path` field.
17
17
18
-
The `init` command will also create an empty `rust-version` file that stores the last upstream `rustc` SHA that was synced in the subtree.
18
+
The `init` command will also create an empty `rust-version` file (if it doesn't already exist) that stores the last upstream `rustc` SHA that was synced in the subtree.
19
19
20
20
## Performing pull
21
21
22
22
A pull operation fetches changes to the subtree subdirectory that were performed in `rust-lang/rust` and merges them into the subtree repository. After performing a pull, a pull request is sent against the *subtree repository*. We *pull from rustc*.
23
23
24
24
1) Checkout the latest default branch of the subtree
25
25
2) Create a new branch that will be used for the subtree PR, e.g. `pull`
26
-
3) Run `josh-sync pull`
26
+
3) Run `rustc-josh-sync pull`
27
27
4) Send a PR to the subtree repository
28
-
- Note that `josh-sync` can do this for you if you have the [gh](https://cli.github.com/) CLI tool installed.
28
+
- Note that `rustc-josh-sync` can do this for you if you have the [gh](https://cli.github.com/) CLI tool installed.
29
29
30
30
## Performing push
31
31
32
32
A push operation takes changes performed in the subtree repository and merges them into the subtree subdirectory of the `rust-lang/rust` repository. After performing a push, a push request is sent against the *rustc repository*. We *push to rustc*.
33
33
34
34
1) Checkout the latest default branch of the subtree
35
-
2) Run `josh-sync pull <your-github-username> <branch>`
35
+
2) Run `rustc-josh-sync pull <your-github-username> <branch>`
36
36
- The branch with the push contents will be created in `https://github.com/<your-github-username>/rust` fork, in the `<branch>` branch.
37
37
3) Send a PR to `rustc`
38
38
@@ -56,5 +56,5 @@ You may observe "Nothing to pull" even if you *know* rustc-pull has something to
56
56
To minimize the likelihood of this happening, you may wish to keep a separate *minimal* git config that *only* has `[user]` entries from global git config, then repoint system git to use the minimal git config instead. E.g.
0 commit comments