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

Lint and config changes extraction part two #1502

Merged
merged 7 commits into from
Nov 22, 2023

Conversation

NullVoxPopuli
Copy link
Contributor

@NullVoxPopuli NullVoxPopuli commented Nov 22, 2023

Followup to #1500
Further extraction from #1501
Which supersedes: #1499
Which are both a condensed version of: #1462

The goal of #1501 and #1499 are/were to get CI green for the work done in #1462 while reducing the diff.

This is the set of changes on top of #1462 that get the build and lints green

@NullVoxPopuli NullVoxPopuli marked this pull request as ready for review November 22, 2023 02:34
Copy link
Contributor

@chancancode chancancode left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

looks good to me! can you squash?

@NullVoxPopuli NullVoxPopuli merged commit dead14b into master Nov 22, 2023
5 checks passed
@NullVoxPopuli NullVoxPopuli deleted the lint-and-config-changes-extraction-part-two branch November 22, 2023 02:52
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