search

usegalaxy-eu / usegalaxy-eu-tools

List of tools included in https://usegalaxy.eu
MIT License
26 stars 129 forks source link

Notify if the PR adds an existing tool into a different tool_panel_section_label #653

Open lldelisle opened 1 year ago

lldelisle commented 1 year ago

In order to avoid future things like: https://github.com/usegalaxy-eu/usegalaxy-eu-tools/pull/648#issuecomment-1810208418 It would be good that the CI detects it before the PR is merged.