Remove hardcoded tools.json from this repo
Summary of Changes
This change allows us to define tools.json in the deployment repo and only use tool ids in that JSON file. The dashboard now retrieves that JSON file and detailed tool information from Galaxy in order to populate the category/tool lists.
Checklist
-
The MR has a clear and concise title -
Code is self-documented and follows style guidelines. -
Automated tests are written and pass successfully. -
Regression tests (e.g. manually triggered system tests, manual GUI/tool tests, ...) are performed to make sure the MR does not break anything (when applicable) -
Readme file is present and up-to-date.
Documentation Updates
Additional Notes
Closes #15 (closed)