-
Notifications
You must be signed in to change notification settings - Fork 13.3k
Remove rustc-dev-guide submodule #81848
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.
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
Conversation
(rust-highfive has picked a reviewer for you, use r? to override) |
92eac82
to
28a4a8e
Compare
The job Click to see the possible cause of the failure (guessed by this bot)
|
Rationale: * The submodule hasn't been updated in 10 months (since April 2020) * It's unlikely that there's a need for it to be a submodule -- people can just clone the rust-lang/rustc-dev-guide repo * Submodules are a pain See also the [discussion on Zulip][z]. [z]: https://rust-lang.zulipchat.com/#narrow/stream/131828-t-compiler/topic/rustc-dev-guide.20submodule
28a4a8e
to
55d4287
Compare
Hm, so I actually think we should not do this, but rather get into the habit of bumping the submodule more often and start distributing the dev guide as part of the rustc-docs component (or maybe a new one, given that one has problems with being installed alongside rust-docs). It's annoying that we don't provide an offline copy of it to users today; we should fix that. That said, I would also not object to approving this in the meantime. |
Is there a point in having it as a submodule if it's only used for release artifacts? Could we change the release process to clone the rustc-dev-guide repo instead? |
Submodules or an equivalent gives you pinning, which is critical if we want reproducible builds and just otherwise ensures that CI keeps passing, including in upstream distros from source tarballs. I would guess we can update it roughly on the same pace as other books; @ehuss updates those from time to time I think. |
You're right that it might be nice to provide an offline copy in |
I don't care too much either way about this change; I just think we should only keep the submodule if it is regularly updated. So if Either way, if we remove it or keep it, we can always easily reverse our decision later. |
@ehuss would it be difficult to update the dev guide alongside the other books? I think you have a script that you run, right? |
Yea, I can add it. I'll be doing an update tomorrow, I'll include an update then. I'm not sure I agree with the general idea of providing the dev-guide offline, since I've not seen anyone request it, and I suspect nobody even knows it exists (and how would they?). It makes updating submodules slower for everyone (and for people like me, my internet is fairly slow, it can take a significant amount of time). But it doesn't bother me for the bi-weekly updates. |
Hm, well, I recall @nikomatsakis at least has mentioned to me that in pre-COVID times when travel was more of a regular occurrence, he would make extensive use of our std docs on planes and wanted the dev guide in some cases (but didn't have it available as it wasn't packaged). I could be convinced that we shouldn't use a submodule for it though - there's not really a need for rustc developers to get it, it'd be fine for only CI to clone the repository and we can track the commit in rustbuild or something. |
I'll close this in the meantime as it sounds like we're going to start updating the submodule. |
Rationale:
can just clone the rust-lang/rustc-dev-guide repo
See also the discussion on Zulip.