galaxyproject / ephemeris

Library for managing Galaxy plugins - tools, index data, and workflows.
https://ephemeris.readthedocs.org/
Other
28 stars 38 forks source link

`get-tool-list` revisions order changes and revision names would be nice #215

Open microfuge opened 2 months ago

microfuge commented 2 months ago

Hi,

I get the tools installed in usegalaxy.eu with get-tool-list and use it to install tools in our local instance. In this way, the tool_panel_section_label is taken from usegalaxy.eu and is nice for syncing tool across the eu site and our local instance.

Thanks!