New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

add profile to all data managers #6017

Merged

mvdbeek merged 1 commit into galaxyproject:main from bernt-matthias:topic/data-manager-profile

May 21, 2024

Contributor

bernt-matthias commented May 19, 2024 •

edited

otherwise they won't use containers

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)


          add profile to all data managers

5f3f8c7

otherwise they won't use containers

mvdbeek enabled auto-merge

May 21, 2024 07:15

mvdbeek disabled auto-merge

May 21, 2024 07:15

mvdbeek merged commit a54e509 into galaxyproject:main

12 of 14 checks passed

Member

mvdbeek commented May 21, 2024

Thank you @bernt-matthias!

bernt-matthias deleted the topic/data-manager-profile branch

May 21, 2024 07:39

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