Skip to content

rustdoc: merge scrape-help CSS #106297

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

Jump to bottom
Merged
merged 1 commit into from
Jan 1, 2023
Merged

rustdoc: merge scrape-help CSS #106297

merged 1 commit into from
Jan 1, 2023

Conversation

notriddle
Copy link
Contributor

No description provided.

@rustbot
Copy link
Collaborator

rustbot commented Dec 30, 2022

r? @GuillaumeGomez

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

@rustbot rustbot added S-waiting-on-review Status: Awaiting review from the assignee but also interested parties. T-rustdoc Relevant to the rustdoc team, which will review and decide on the PR/issue. labels Dec 30, 2022
@rustbot
Copy link
Collaborator

rustbot commented Dec 30, 2022

Some changes occurred in HTML/CSS/JS.

cc @GuillaumeGomez, @Folyd, @jsha

@GuillaumeGomez
Copy link
Member

Thanks!

@bors r+ rollup

@bors
Copy link
Collaborator

bors commented Dec 31, 2022

📌 Commit ac0bb74 has been approved by GuillaumeGomez

It is now in the queue for this repository.

@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 Dec 31, 2022
Noratrieb added a commit to Noratrieb/rust that referenced this pull request Dec 31, 2022
@Noratrieb
Rollup merge of rust-lang#106297 - notriddle:notriddle/scrape-help, r…
8b8d276 
…=GuillaumeGomez

rustdoc: merge scrape-help CSS
@Noratrieb Noratrieb mentioned this pull request Dec 31, 2022
Closed
@matthiaskrgr matthiaskrgr mentioned this pull request Dec 31, 2022
Merged
bors added a commit to rust-lang-ci/rust that referenced this pull request Dec 31, 2022
@bors
Auto merge of rust-lang#106336 - matthiaskrgr:rollup-4p6bgwf, r=matth…
c9825f7 
…iaskrgr

Rollup of 4 pull requests

Successful merges:

 - rust-lang#106280 (docs: add link to `Path::join` in `PathBuf::push`)
 - rust-lang#106297 (rustdoc: merge scrape-help CSS)
 - rust-lang#106328 (Add comment explaining what the GUI scrape-examples-fonts test is about)
 - rust-lang#106334 (Fix tidy unittest.)

Failed merges:

r? `@ghost`
`@rustbot` modify labels: rollup
@bors bors merged commit 17263f2 into rust-lang:master Jan 1, 2023
@rustbot rustbot added this to the 1.68.0 milestone Jan 1, 2023
@notriddle notriddle deleted the notriddle/scrape-help branch January 1, 2023 03:28
# for free to join this conversation on GitHub. Already have an account? # to comment
Reviewers

@GuillaumeGomez GuillaumeGomez GuillaumeGomez approved these changes

Assignees

@GuillaumeGomez GuillaumeGomez

Labels
S-waiting-on-bors Status: Waiting on bors to run and complete tests. Bors will change the label on completion. T-rustdoc Relevant to the rustdoc team, which will review and decide on the PR/issue.
Projects
None yet
Milestone
1.68.0
Development

Successfully merging this pull request may close these issues.
4 participants
@notriddle @rustbot @GuillaumeGomez @bors