Skip to content

Conversation

@github-actions
Copy link

This PR is automatically generated based on changes in the usegalaxy.* tools tools
and updates to our own tools and new tools added.
Please verify if these changes are valid.

@github-actions github-actions bot added auto-update automerge PRs that can and should be automatically merged labels Oct 10, 2025
@B0r1sD
Copy link
Member

B0r1sD commented Dec 4, 2025

Could I close this old PR @pauldg you think? Deletes a lot of lines, hope to be able to ignore it as everything is working as is?

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

Labels

auto-update automatic PR automerge PRs that can and should be automatically merged

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants