Add flexibility to galaxy_dirs, galaxy_privsep_dirs defaults
Merge pull request
#221 from mira-miracoli/fix-welcome-stat
Pull request merge
pushed 2 commits to main • 8ec9239…d494e2e • on Nov 12, 2024
Merge pull request
#219 from galaxyproject/structured-themes
Pull request merge
pushed 4 commits to main • 793ce1c…8ec9239 • on Aug 21, 2024
Restore base domain to themes by host
Document and clean up themes changes
Make themes structured data instead of read from file
Merge pull request
#216 from galaxyproject/subdomain-static
Pull request merge
pushed 3 commits to main • 08974b1…793ce1c • on Aug 16, 2024
Correct type of default var
Force push
Merge pull request
#209 from dometto/prebuilt_client
Pull request merge
pushed 4 commits to main • ffb86cd…08974b1 • on Jul 22, 2024
Merge pull request
#215 from mira-miracoli/fix-static-for-updates
Pull request merge
pushed 2 commits to main • cc413b6…ffb86cd • on Jun 29, 2024
Set static source dir for subdomains based on server dir
Set static source dir for subdomains based on server dir
Merge pull request
#212 from dometto/patch-2
Pull request merge
pushed 4 commits to main • 6d24332…cc413b6 • on Apr 17, 2024
Merge pull request
#211 from dometto/patch-1
Pull request merge
pushed 4 commits to main • 5454657…6d24332 • on Apr 16, 2024
update best practice, remove uwsgi mentions
pushed 1 commit to main • f81c43b…5454657 • on Apr 9, 2024
Merge pull request
#206 from galaxyproject/local-tools-sections
Pull request merge
pushed 2 commits to main • da44515…f81c43b • on Feb 23, 2024
Support installing local tools into sections
Merge pull request
#205 from sanjaysrikakulam/subdomain_static_typo
Pull request merge
pushed 2 commits to main • 7557641…da44515 • on Feb 16, 2024
Merge pull request
#203 from galaxyproject/configurable-gravity-path
Pull request merge
pushed 2 commits to main • 7650a92…7557641 • on Feb 6, 2024
Support external (outside the venv) Gravity
Merge pull request
#201 from galaxyproject/fix-empty-dicts
Pull request merge
pushed 2 commits to main • e07b036…7650a92 • on Jan 23, 2024
Merge pull request
#199 from galaxyproject/force-client-build
Pull request merge
pushed 2 commits to main • 06cbe3f…e07b036 • on Dec 6, 2023
Merge pull request
#198 from mira-miracoli/themes
Pull request merge
pushed 3 commits to main • 94ac81e…06cbe3f • on Dec 5, 2023
Support forcing client builds even when the commit ID has not changed
Merge pull request
#197 from mira-miracoli/themes
Pull request merge
pushed 3 commits to main • 59a3f9a…94ac81e • on Nov 28, 2023
Merge pull request
#196 from mira-miracoli/patch-1
Pull request merge
pushed 2 commits to main • 474f046…59a3f9a • on Nov 27, 2023
pushed 1 commit to main • 20ac2d5…474f046 • on Nov 23, 2023
You can’t perform that action at this time.
cat-bro
bgruening
natefoo
hexylena
mira-miracoli