Skip to content
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.

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

Rename manual_empty_string_creation and move to pedantic #9366

Merged
merged 1 commit into from
Aug 23, 2022

Conversation

Alexendoo
Copy link
Member

Renames it to manual_string_new and moves it to the pedantic category

Pedantic because it's a fairly minor style change but could be very noisy

changelog: doesn't need its own entry, but remember to s/manual_empty_string_creation/manual_string_new/ the changelog entry for #9295

r? @xFrednet to get it in before the upcoming sync as this isn't a cargo dev rename_lint style rename

@rust-highfive rust-highfive added the S-waiting-on-review Status: Awaiting review from the assignee but also interested parties label Aug 23, 2022
@xFrednet
Copy link
Member

LGTM, thank you for the move :)

@bors r+

@bors
Copy link
Contributor

bors commented Aug 23, 2022

📌 Commit 2cb5318 has been approved by xFrednet

It is now in the queue for this repository.

@bors
Copy link
Contributor

bors commented Aug 23, 2022

⌛ Testing commit 2cb5318 with merge b33002d...

@bors
Copy link
Contributor

bors commented Aug 23, 2022

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

@bors bors merged commit b33002d into rust-lang:master Aug 23, 2022
@Alexendoo Alexendoo deleted the manual_string_new branch August 23, 2022 21:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
S-waiting-on-review Status: Awaiting review from the assignee but also interested parties
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants