How to change git remote URL of an existing theme?

AI-generated summary

The user j127 asks how to change the Git remote URL of an existing theme without reinstalling it, as some users have already enabled the theme. They consider modifying the database directly, noting the URL is broken in the dashboard and the repo is private. j127 confirms they found the remote URL in the database and asks if editing it to switch from GitLab to GitHub is safe, since the repo is the same but the GitLab version is archived. j127 later realizes they no longer need to do this, as they can merge the themes and use a color picker instead, disabling old themes and enabling the new one.

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

I found the remote URL in the database using Data Explorer:

SELECT
    remote_url,
    private_key
FROM remote_themes
WHERE id = 7

Does anyone know if it’s safe for me to edit those two fields to change the link from GitLab to GitHub?

It’s the same repo, but the GitHub version is being updated and the GitLab version is archived.

I don’t need to do this any more, because I realized that I can merge them into one theme and let people use the color picker. I disabled all the old themes and enabled just the new one.