rustc-dev-guide subtree update#144435

Merged

bors merged 10 commits intorust-lang:masterfrom

tshepang:rdg-sync

Jul 26, 2025

Commits on Jul 23, 2025

Update josh sync documentation
Kobzol
committed

Commits on Jul 24, 2025

Prepare for merging from rust-lang/rust
The rustc-josh-sync Cronjob Bot
committed
Merge ref 'efd420c770bb' from rust-lang/rust
The rustc-josh-sync Cronjob Bot
committed
Merge pull request #2517 from Kobzol/josh-sync
Kobzol
authored

Commits on Jul 25, 2025

Merge pull request #2518 from rust-lang/rustc-pull
tshepang
authored