Skip to content

Task: apply linting to existing PRs #3263

@C-Achard

Description

@C-Achard

Now that #3216 has been merged, existing PRs will have to be adjusted using the following method :

  1. Recover lint changes from main
    • If the branch is from an external fork, create a local backup branch
    • Rebase on top of main (preferred)
    • Or re-create in a fresh branch from main and cherry-pick the feature commits from the previous branch
  2. Run pre-commit hooks only on files changed by the PR
  3. Re-open or push as usual, wait for CI to pass

Maintainers may close and re-open existing PRs or rebase it as part of this process. Contributors are not expected, but are welcome to, help with this procedure.

Metadata

Metadata

Labels

lint requiredPlease run pre-commit hooks to ensure your formatting is up-to-date

Type

Projects

No projects

Relationships

None yet

Development

No branches or pull requests

Issue actions