Skip to content

small fixes for integron finder#7668

Merged
bernt-matthias merged 1 commit intogalaxyproject:mainfrom
bernt-matthias:fix-integronfinder
Feb 10, 2026
Merged

small fixes for integron finder#7668
bernt-matthias merged 1 commit intogalaxyproject:mainfrom
bernt-matthias:fix-integronfinder

Conversation

@bernt-matthias
Copy link
Contributor

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 merged commit 13f722d into galaxyproject:main Feb 10, 2026
10 checks passed
@bernt-matthias bernt-matthias deleted the fix-integronfinder branch February 10, 2026 15:22
@mvdbeek
Copy link
Member

mvdbeek commented Feb 10, 2026

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