Skip to content
GitLab
Explore
Sign in
Galaxy: extra files
Code
Review changes
Check out branch
Download
Patches
Plain diff
Denys Savchenko
requested to merge
extra-files
into
master
Oct 16, 2024
Overview
1
Commits
1
Pipelines
1
Changes
1
Expand
Upon merging
PR
and updating the bot, this should allow adding extra files to the tool
Merge request reports
Loading