Skip to content

Conversation

@Kobzol
Copy link
Member

@Kobzol Kobzol commented Dec 29, 2025

Depends on #1617 (that should be merged first).

"$cg_clif/git-fixed-subtree.sh" push --prefix=compiler/rustc_codegen_cranelift/ "$cg_clif" sync_from_rust
popd
git merge sync_from_rust
rustc-josh-sync push "${branch}" bjorn3
Copy link
Member

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

According to https://github.com/rust-lang/josh-sync?tab=readme-ov-file#git-peculiarities there is some extra setup required as I use ssh. Couldn't josh-sync have an option to choose between https and ssh for pushing? Also mind setting RUSTC_GIT to ../rust?

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.

2 participants