Skip to content
This repository was archived by the owner on Apr 5, 2024. It is now read-only.

Housekeeping #136

Merged
merged 5 commits into from
Nov 7, 2020
Merged

Housekeeping #136

merged 5 commits into from
Nov 7, 2020

Conversation

Xanewok
Copy link
Member

@Xanewok Xanewok commented Nov 5, 2020

Fixing some artifacts of the past - this should not change any behaviour.

It's worth noting that there are some allow attributes for pedantic Clippy lints, which are not enforced anywhere anymore - probably because those lints have been moved around in categories. Should I remove the directives that do not warn anymore by default under cargo clippy?

r? @Manishearth

@bors
Copy link
Contributor

bors commented Nov 5, 2020

☔ The latest upstream changes (presumably #135) made this pull request unmergeable. Please resolve the merge conflicts.

Note that reviewers usually do not review pull requests until merge conflicts are resolved! Once you resolve the conflicts, you should change the labels applied by bors to indicate that your PR is ready for review. Post this as a comment to change the labels:

@rustbot modify labels: +S-waiting-on-review -S-waiting-on-author

@Manishearth
Copy link
Member

r=me

@Xanewok
Copy link
Member Author

Xanewok commented Nov 5, 2020

@bors r=Manishearth

@bors
Copy link
Contributor

bors commented Nov 5, 2020

@Xanewok: 🔑 Insufficient privileges: Not in reviewers

@Manishearth
Copy link
Member

@bors r+

@bors
Copy link
Contributor

bors commented Nov 6, 2020

📌 Commit 3550a9a has been approved by Manishearth

bors added a commit that referenced this pull request Nov 6, 2020
Housekeeping

Fixing some artifacts of the past - this should not change any behaviour.

It's worth noting that there are some `allow` attributes for pedantic Clippy lints, which are not enforced anywhere anymore - probably because those lints have been moved around in categories. Should I remove the directives that do not warn anymore by default under `cargo clippy`?

r? `@Manishearth`
@bors
Copy link
Contributor

bors commented Nov 6, 2020

⌛ Testing commit 3550a9a with merge 3001a55...

@Manishearth
Copy link
Member

@Mark-Simulacrum can you add @Xanewok and @ibabushkin as reviewers to this? It's fine to set this up as some sort of "semverver project group" under devtools too if necessary.

@bors
Copy link
Contributor

bors commented Nov 6, 2020

💥 Test timed out

@Mark-Simulacrum
Copy link
Member

I think someone else added those permissions? Uncertain.

@Xanewok
Copy link
Member Author

Xanewok commented Nov 7, 2020

I added permissions manually in rust-lang/team#472 but maybe we should set up a separate project group as well.

It seems I need to add CI triggers for the auto branch as well

@Xanewok
Copy link
Member Author

Xanewok commented Nov 7, 2020

Let's try this again

@bors retry

@bors
Copy link
Contributor

bors commented Nov 7, 2020

⌛ Testing commit 3550a9a with merge 5ed300f...

@bors
Copy link
Contributor

bors commented Nov 7, 2020

☀️ Test successful - checks-actions
Approved by: Manishearth
Pushing 5ed300f to master...

@bors bors merged commit 5ed300f into rust-lang:master Nov 7, 2020
@Xanewok Xanewok deleted the housekeeping branch November 7, 2020 14:13
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants