Skip to content

Fix URLs in switcher.json#747

Merged
leehart merged 2 commits intomasterfrom
GH746_fix_switcher_URLs
Mar 31, 2025
Merged

Fix URLs in switcher.json#747
leehart merged 2 commits intomasterfrom
GH746_fix_switcher_URLs

Conversation

@leehart
Copy link
Copy Markdown
Collaborator

@leehart leehart commented Mar 31, 2025

Re: issue #746

@leehart leehart marked this pull request as ready for review March 31, 2025 13:33
@leehart
Copy link
Copy Markdown
Collaborator Author

leehart commented Mar 31, 2025

This should be merged after #749
Otherwise the CI will fail based on the malformed JSON in the existing deployed switcher.

@leehart
Copy link
Copy Markdown
Collaborator Author

leehart commented Mar 31, 2025

I suspect this might still not fix the deployed switcher, ironically because the deployed switcher is broken, so we might need to run a manual redeployment.

@leehart leehart merged commit 4894816 into master Mar 31, 2025
10 checks passed
@leehart leehart deleted the GH746_fix_switcher_URLs branch March 31, 2025 13:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant