Skip to content

Fix linting rule selection#1396

Merged
mvdbeek merged 1 commit intogalaxyproject:masterfrom
bernt-matthias:topic/shed_lint_skip_fix
Oct 23, 2023
Merged

Fix linting rule selection#1396
mvdbeek merged 1 commit intogalaxyproject:masterfrom
bernt-matthias:topic/shed_lint_skip_fix

Conversation

@bernt-matthias
Copy link
Collaborator

followup on #1394

@mvdbeek mvdbeek merged commit 913bf29 into galaxyproject:master Oct 23, 2023
@bernt-matthias bernt-matthias deleted the topic/shed_lint_skip_fix branch October 24, 2023 07:15
@mvdbeek mvdbeek changed the title really skip specified linters Fix linting rule selection Oct 29, 2023
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.

3 participants