Skip to content

Conversation

elachlan
Copy link
Contributor

Follow up to #7198 as we didn't change the severity to warning.

@Forgind
Copy link
Contributor

Forgind commented Jan 10, 2022

When you need to make changes after upgrading from suggestion to warning, it's helpful to have separate PRs. For PRs like this, you can put them all in one.

@Forgind Forgind added the merge-when-branch-open PRs that are approved, except that there is a problem that means we are not merging stuff right now. label Jan 10, 2022
@elachlan
Copy link
Contributor Author

Sorry about that.

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

Labels

merge-when-branch-open PRs that are approved, except that there is a problem that means we are not merging stuff right now.

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants