Skip to content

Conversation

tgross35
Copy link
Contributor

@tgross35 tgross35 commented Jun 4, 2025

Create a crate that handles pulling from and pushing to rust-lang/rust.
This can be invoked with the following:

$ cargo run -p josh-sync -- rustc-pull
$ RUSTC_GIT=/Users/tmgross/Documents/projects/rust cargo run -p josh-sync -- rustc-push <username>

@tgross35 tgross35 force-pushed the josh-tooling-rust branch 2 times, most recently from 8e848e8 to d82fad9 Compare June 4, 2025 17:17
This will be used by `josh` tooling.
@tgross35 tgross35 force-pushed the josh-tooling-rust branch from d82fad9 to 5b76581 Compare June 4, 2025 17:30
@tgross35
Copy link
Contributor Author

tgross35 commented Jun 4, 2025

Rebased onto #944 since that will merge first

@tgross35 tgross35 force-pushed the josh-tooling-rust branch 3 times, most recently from 7551a61 to 560b410 Compare June 4, 2025 17:52
Create a crate that handles pulling from and pushing to rust-lang/rust.
This can be invoked with the following:

    $ cargo run -p josh-sync -- rustc-pull
    $ RUSTC_GIT=/path/to/rust/checkout cargo run -p josh-sync -- rustc-push <username>
@tgross35 tgross35 force-pushed the josh-tooling-rust branch from 560b410 to ded114b Compare June 4, 2025 18:06
@tgross35 tgross35 merged commit ded114b into rust-lang:master Jun 4, 2025
35 checks passed
@tgross35 tgross35 deleted the josh-tooling-rust branch June 4, 2025 18:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant