Notify if the PR adds an existing tool into a different tool_panel_section_label #653
Description
In order to avoid future things like:
#648 (comment)
It would be good that the CI detects it before the PR is merged.
{{ message }}
In order to avoid future things like:
#648 (comment)
It would be good that the CI detects it before the PR is merged.