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.