New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Fix Basedomain theme file #197

Merged

natefoo merged 2 commits into galaxyproject:main from mira-miracoli:themes

Nov 28, 2023

Collaborator

mira-miracoli commented Nov 28, 2023 •

edited

Loading

I forgot to add the basedomain to the themes_config_file_by_host

mira-miracoli added 2 commits

November 28, 2023 10:20


          add basedomain theme

822d094


          make it a variable

97df59c

natefoo approved these changes

View reviewed changes

natefoo merged commit 94ac81e into galaxyproject:main

6 of 15 checks passed

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet