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

check existing PRs for linting issues #2765

Closed
25 tasks done
AiyionPrime opened this issue Jan 21, 2023 · 0 comments
Closed
25 tasks done

check existing PRs for linting issues #2765

AiyionPrime opened this issue Jan 21, 2023 · 0 comments

Comments

@AiyionPrime
Copy link
Member

AiyionPrime commented Jan 21, 2023

Existing PRs have mostly not been checked against the new editorconfig linting added in #2758.

In order to test this, one could rebase the PR onto master and push the branch,
or at least verify its integrity locally with make lint-editorconfig to reduce unnecessary stress on our infrastructure.

affected PRs:

None - Nothing left to do here.
The remaining PRs should meet the editorconfig-checker on their own eventually.

tested:

merge conflict (need to be rebased anyway, the action will run then):

linting is already failing due to other reasons (need to be rebased anyway, the action will run then):

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

No branches or pull requests

1 participant