galaxyproject / galaxyproject/planemo-machine
Remove explicit dependency between extras and devbox role.
Open
enhancement
- Dominant language
- Jinja
- Stars
- 10
- Forks
- 16
- PR merge metrics
- No merged PRs in 30d
Description
In particular extras nginx configuration so have no idea that devbox exist - instead of embedding blocks in nginx.conf directly use dynamic includes.
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.