Skip to content

Conversation

@SaimMomin12
Copy link
Contributor

@SaimMomin12 SaimMomin12 commented Feb 12, 2026

Fixes deployment for #7659

FOR CONTRIBUTOR:

  • I have read the CONTRIBUTING.md document and this tool is appropriate for the tools-iuc repo.
  • License permits unrestricted use (educational + commercial)
  • This PR adds a new tool or tool collection
  • This PR updates an existing tool or tool collection
  • This PR does something else (explain below)

There are two labels that allow to ignore specific (false positive) tool linter errors:

  • skip-version-check: Use it if only a subset of the tools has been updated in a suite.
  • skip-url-check: Use it if github CI sees 403 errors, but the URLs work.

@bernt-matthias bernt-matthias added the skip-version-check Allow IUC members to skip the version linter in PR reviews (use only for partially updated suites). label Feb 12, 2026
@bernt-matthias bernt-matthias merged commit 6ecdc1e into galaxyproject:main Feb 12, 2026
24 of 26 checks passed
@mvdbeek
Copy link
Member

mvdbeek commented Feb 12, 2026

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

Labels

skip-version-check Allow IUC members to skip the version linter in PR reviews (use only for partially updated suites).

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants