diff options
| author | bors <bors@rust-lang.org> | 2025-01-02 03:05:42 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2025-01-02 03:05:42 +0000 |
| commit | c528b8c67895bfe7fdcdfeb56ec5bf6ef928dcd7 (patch) | |
| tree | c2c885f853241ea38d8a5c46b79ffd79433ef810 /compiler/rustc_hir_analysis/src/check/entry.rs | |
| parent | 504f4f5275d0dc9532fc97fcc25350b83dde9dde (diff) | |
| parent | 47e2baa1c91e955ad31ace4a4a0c116295394034 (diff) | |
| download | rust-c528b8c67895bfe7fdcdfeb56ec5bf6ef928dcd7.tar.gz rust-c528b8c67895bfe7fdcdfeb56ec5bf6ef928dcd7.zip | |
Auto merge of #134907 - Kobzol:rustc-dev-guide-josh, r=ehuss
Turn rustc-dev-guide into a Josh subtree
Discussed on [Zulip](https://rust-lang.zulipchat.com/#narrow/channel/196385-t-compiler.2Fwg-rustc-dev-guide/topic/a.20move.20to.20main.20repo.20.28rust-lang.2Frust.29).
Accompanying rustc-dev-guide PR: https://github.com/rust-lang/rustc-dev-guide/pull/2183
I didn't create a bootstrap step for rustc-dev-guide yet, because the rustc-dev-guide version that we currently use in this repo doesn't have linkcheck enabled and that fails tests.
The subtree starts with commit [ad93c5f1c49f2aeb45f7a4954017b1e607df9f5e](https://github.com/rust-lang/rustc-dev-guide/commit/ad93c5f1c49f2aeb45f7a4954017b1e607df9f5e).
What I did:
```
export DIR=src/doc/rustc-dev-guide
# Remove submodule
git submodule status ${DIR}
git submodule deinit ${DIR}
git rm -r --cached ${DIR}
rm -rf ${DIR}
# Remove rustc-dev-guide from .gitmodules
git commit -m"Removed `${DIR}` submodule"
# Import history with josh
git fetch https://github.com/rust-lang/rustc-dev-guide ad93c5f1c49f2aeb45f7a4954017b1e607df9f5e
josh-filter ':prefix=src/doc/rustc-dev-guide' FETCH_HEAD
git merge --allow-unrelated FILTERED_HEAD
# A few follow-up cleanup commits
```
r? ehuss
Diffstat (limited to 'compiler/rustc_hir_analysis/src/check/entry.rs')
0 files changed, 0 insertions, 0 deletions
