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.

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

Update tools_to_keep #58

Merged
merged 2 commits into from
Mar 5, 2024
Merged

Update tools_to_keep #58

merged 2 commits into from
Mar 5, 2024

Conversation

EngyNasr
Copy link
Collaborator

Adding missing tools found in microGalaxy workflows and trainings

Adding missing tools found in microGalaxy workflows and trainings
removing duplicated lines
@EngyNasr
Copy link
Collaborator Author

I also rearranged the table alphabetically, as the majority was arranged but few on top were not, but now the full table is arranged

@paulzierep
Copy link
Collaborator

Uhh, the tools_to_keep are currently fetched automatically:
https://github.com/galaxyproject/galaxy_tool_metadata_extractor/blob/cea51e857e8839cdd61dfe3dc61e065f084f7c18/bin/get_community_tools.sh#L10-L20

@bebatut should we stop this behaviour, in favour of @EngyNasr update, or update the google file ?

@bebatut
Copy link
Member

bebatut commented Mar 4, 2024

Yes we should probably stop this

@paulzierep paulzierep merged commit 4e0ad75 into galaxyproject:main Mar 5, 2024
2 checks passed
@paulzierep
Copy link
Collaborator

thank you @EngyNasr !

neoformit pushed a commit to nomadscientist/galaxy_codex that referenced this pull request Jul 28, 2024
* Update tools_to_keep

Adding missing tools found in microGalaxy workflows and trainings

* Update tools_to_keep

removing duplicated lines
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.

3 participants