Skip to content

rustc-dev-guide subtree update #144435

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
bors merged 10 commits into from
Jul 26, 2025
Merged

rustc-dev-guide subtree update #144435

Changes from 3 commits
Commits
Show all changes
10 commits
Select commit Hold shift + click to select a range
4304b7b
add rdg push git config entry for git protocol pushers (again)
tshepang Jul 21, 2025
c8ef211
already documented elsewhere
tshepang Jul 21, 2025
ff2bfe0
Merge pull request #2514 from rust-lang/tshepang/for-ssh-protocol
Kobzol Jul 21, 2025
9ae298c
typo
tshepang Jul 21, 2025
44bec00
Merge pull request #2515 from rust-lang/tshepang-patch-1
tshepang Jul 21, 2025
6c96e7a
Update josh sync documentation
Kobzol Jul 23, 2025
1115345
Prepare for merging from rust-lang/rust
invalid-email-address Jul 24, 2025
e5b1e7d
Merge ref 'efd420c770bb' from rust-lang/rust
invalid-email-address Jul 24, 2025
1ecb68d
Merge pull request #2517 from Kobzol/josh-sync
Kobzol Jul 24, 2025
e69303f
Merge pull request #2518 from rust-lang/rustc-pull
tshepang Jul 25, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion src/doc/rustc-dev-guide/rust-version
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1 @@
460259d14de0274b97b8801e08cb2fe5f16fdac5
efd420c770bb179537c01063e98cb6990c439654
Loading