Existe-t-il un moyen de changer l’URL distante Git sans installer un nouveau thème ? Il s’agit d’un thème secondaire que certains utilisateurs ont déjà activé, donc si j’installe un nouveau thème et supprime cet ancien, ils reviendront soudainement au thème clair.
Est-il sûr de le changer de GitLab à GitHub en effectuant une chirurgie de base de données sur cet enregistrement, sinon via le tableau de bord ? Il s’agit d’un dépôt Git privé, si cela a de l’importance. C’est une version plus récente du même dépôt avec les mêmes commits (plus de nouveaux commits).
Note annexe : le lien sur cette page dans le tableau de bord est cassé. Il pointe vers une URL comme https://forum.example.com/admin/customize/themes/git@gitlab.com:org/theme_name/tree/main
