Skip to content
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

Better search stuff in Tool Shed 2.0. #19047

Merged
merged 1 commit into from
Nov 6, 2024
Merged

Better search stuff in Tool Shed 2.0. #19047

merged 1 commit into from
Nov 6, 2024

Conversation

jmchilton
Copy link
Member

How to test the changes?

(Select all options that apply)

  • Instructions for manual testing are as follows:
    1. Deploy and test in production - duh.

License

  • I agree to license these and all my past contributions to the core galaxy codebase under the MIT license.

@jmchilton jmchilton added kind/enhancement area/toolshed-2.0 Required features and bugs for the new tool shed labels Oct 23, 2024
@jmchilton jmchilton marked this pull request as ready for review October 28, 2024 14:02
@github-actions github-actions bot added this to the 24.2 milestone Oct 28, 2024
@mvdbeek mvdbeek merged commit 4251715 into galaxyproject:dev Nov 6, 2024
53 of 55 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@bgruening bgruening bgruening approved these changes

Assignees
No one assigned
Labels
area/toolshed-2.0 Required features and bugs for the new tool shed kind/enhancement
Projects
None yet
Milestone
24.2
Development

Successfully merging this pull request may close these issues.
3 participants
@jmchilton @bgruening @mvdbeek