Skip to content

chore: remove unnecessary files #9709

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

Jump to bottom
Merged
bors merged 1 commit into from
Oct 25, 2022
Merged

chore: remove unnecessary files #9709

bors merged 1 commit into from
Oct 25, 2022

Conversation

@koka831
Copy link
Contributor

@koka831 koka831 commented Oct 25, 2022 •
edited
Loading

removes document text files that are no longer needed by #9541.

changelog: none

r? @Alexendoo

@koka831
chore: remove remove-unnecessary-files
70dff63 
removes document text files that are no longer needed by rust-lang#9541.
@rust-highfive rust-highfive added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties label Oct 25, 2022
@koka831 koka831 changed the title chore: remove remove-unnecessary-files chore: remove unnecessary files Oct 25, 2022
@flip1995
Copy link
Member

flip1995 commented Oct 25, 2022

@bors r+

Thanks!

@bors
Copy link
Contributor

bors commented Oct 25, 2022

📌 Commit 70dff63 has been approved by flip1995

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented Oct 25, 2022

⌛ Testing commit 70dff63 with merge df67ebb...

@bors
Copy link
Contributor

bors commented Oct 25, 2022

☀️ Test successful - checks-action_dev_test, checks-action_remark_test, checks-action_test
Approved by: flip1995
Pushing df67ebb to master...

@bors bors merged commit df67ebb into rust-lang:master Oct 25, 2022
@koka831 koka831 deleted the chore/remove-unnecessary-files branch October 25, 2022 08:13
@Alexendoo Alexendoo mentioned this pull request Oct 25, 2022
Merged
bors added a commit that referenced this pull request Oct 25, 2022
@bors
Auto merge of #9712 - Alexendoo:old-generated-files, r=flip1995
634987b 
Remove `lib.register_*` and `src/docs*` in `cargo dev update_lints`

Follow up to #9709 / #9541

There's a good number of PRs with some leftover `src/docs` files for example, and as a reviewer it's something we're used to ignoring so it can easily slip through

r? `@flip1995`

changelog: none
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

@Alexendoo Alexendoo

Labels

S-waiting-on-review Status: Awaiting review from the assignee but also interested parties

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

5 participants

@koka831 @flip1995 @bors @Alexendoo @rust-highfive