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

Update PlantTribes tools on .org #589

Merged

natefoo merged 1 commit into galaxyproject:master from natefoo:update-org-planttribes

Mar 10, 2023

Member

natefoo commented Mar 10, 2023 •

edited

Loading

Fixes #535.

Installation sequence for `tool-installers`

Test using @galaxybot test this
Inspect CI output for expected changes
Deploy using @galaxybot deploy this if test install was successful
Merge this PR


          Update PlantTribes tools on .org

5a79297

natefoo added tools/update site/org labels

natefoo requested a review from a team as a code owner

March 10, 2023 13:55

Member Author

natefoo commented Mar 10, 2023

@galaxybot deploy this

natefoo merged commit 38b03f1 into galaxyproject:master

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

Labels

site/org tools/update