Skip to content

Install robots.txt into rust-docs tarballs #68678

New issue

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

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

Already on GitHub? # to your account

Merged
merged 1 commit into from
Feb 3, 2020

Conversation

Mark-Simulacrum
Copy link
Member

Fixes #68677.

I believe this might just work out from the central-station perspective, but even if it doesn't, this is a prerequisite step anyway.

@Mark-Simulacrum
Copy link
Member Author

r? @pietroalbini perhaps?

@rust-highfive
Copy link
Contributor

r? @nikomatsakis

(rust_highfive has picked a reviewer for you, use r? to override)

@rust-highfive rust-highfive added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. label Jan 30, 2020
@ghost
Copy link

ghost commented Jan 31, 2020

This should allow this comment to be removed, right?

# NB: This file is not automatically deployed. After changes, it needs to be uploaded manually to doc.rust-lang.org

@Mark-Simulacrum
Copy link
Member Author

Ah, yes, that can be removed. I'll update the PR soon.

@pietroalbini
Copy link
Member

@bors r+ rollup

Thanks!

@bors
Copy link
Collaborator

bors commented Feb 3, 2020

📌 Commit 39e5027 has been approved by pietroalbini

@bors bors added S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. and removed S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. labels Feb 3, 2020
Dylan-DPC-zz pushed a commit to Dylan-DPC-zz/rust that referenced this pull request Feb 3, 2020
Install robots.txt into rust-docs tarballs

Fixes rust-lang#68677.

I believe this might just work out from the central-station perspective, but even if it doesn't, this is a prerequisite step anyway.
bors added a commit that referenced this pull request Feb 3, 2020
Rollup of 8 pull requests

Successful merges:

 - #68678 (Install robots.txt into rust-docs tarballs)
 - #68711 (Added upper bound of what vecs and boxes can allocate)
 - #68744 (Do not ICE in `type-alias-impl-trait` with save-analysis)
 - #68777 (Clean up E0263 explanation)
 - #68787 (Optimize core::ptr::align_offset (part 1))
 - #68797 (Fix links to types instead of modules)
 - #68798 (Test that `#[track_caller]` as `fn()` respects RT / CTFE equivalence)
 - #68800 (Stabilize `core::iter::once_with()`)

Failed merges:

r? @ghost
@bors bors merged commit 39e5027 into rust-lang:master Feb 3, 2020
@Mark-Simulacrum Mark-Simulacrum deleted the robots branch March 14, 2020 12:25
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

doc.rust-lang.org/robots.txt doesn't match src/doc/robots.txt
5 participants