Is there a way to change the Git remote URL without installing a new theme? This is a secondary theme that some users already have enabled, so if I install a new theme and delete this old one, they will suddenly revert to the light theme.
Is it safe to change it from GitLab to GitHub by doing database surgery on that one record, if not through the dashboard? It’s a private Git repo, if that matters. It’s a newer version of the same repo with the same commits (plus new commits).
Side note: the link on that page in the dashboard is broken. It links to a URL like https://forum.example.com/admin/customize/themes/git@gitlab.com:org/theme_name/tree/main