Skip to content

Grant crater permissions to the clippy team#2321

Merged
Mark-Simulacrum merged 1 commit intorust-lang:mainfrom
DanielEScherzer:crater-for-clippy
Mar 16, 2026
Merged

Grant crater permissions to the clippy team#2321
Mark-Simulacrum merged 1 commit intorust-lang:mainfrom
DanielEScherzer:crater-for-clippy

Conversation

@DanielEScherzer
Copy link
Copy Markdown
Contributor

@github-actions
Copy link
Copy Markdown

Dry-run check results

[WARN  rust_team::sync] sync-team is running in dry mode, no changes will be applied.
[INFO  rust_team::sync] synchronizing crates-io
[INFO  rust_team::sync] synchronizing github

@Mark-Simulacrum Mark-Simulacrum added this pull request to the merge queue Mar 16, 2026
Merged via the queue into rust-lang:main with commit 36e5c15 Mar 16, 2026
3 checks passed
@DanielEScherzer DanielEScherzer deleted the crater-for-clippy branch March 16, 2026 16:49
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants