Skip to content

make it pgxRpi a suite#7830

Open
bgruening wants to merge 1 commit intogalaxyproject:mainfrom
bgruening:pgxrpi_rerun
Open

make it pgxRpi a suite#7830
bgruening wants to merge 1 commit intogalaxyproject:mainfrom
bgruening:pgxrpi_rerun

Conversation

@bgruening
Copy link
Copy Markdown
Member

@bernt-matthias you wanted to a trigger so this gets uploaded - correct? here it is

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.

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.

1 participant