Skip to content

Allow to skip url check#1597

Merged
mvdbeek merged 1 commit intogalaxyproject:masterfrom
bernt-matthias:skip-tool-urls
Jan 15, 2026
Merged

Allow to skip url check#1597
mvdbeek merged 1 commit intogalaxyproject:masterfrom
bernt-matthias:skip-tool-urls

Conversation

@bernt-matthias
Copy link
Collaborator

since the URL linter needs to be enabled explicitely (--urls) it might seem counterintuitive to allow a skip rule for the URL linter, but for CI we want it to be enabled by default and only disabled in certain cases

since the URL linter needs to be enabled explicitely (`--urls`)
it might seem counterintuitive to allow a skip rule for the URL linter,
but for CI we want it to be enabled by default and only disabled
in certain cases
@mvdbeek mvdbeek merged commit d127521 into galaxyproject:master Jan 15, 2026
14 checks passed
@bernt-matthias bernt-matthias deleted the skip-tool-urls branch January 15, 2026 11:27
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