Vous pourriez l’importer via l’interface utilisateur :
Cependant, si vous souhaitez pouvoir synchroniser les modifications, je pense que vous devrez tirer vers un clone local, puis pousser à partir de celui-ci. Quelque chose comme ceci :
- Cloner depuis GitLab
git clone "https://gitlab.com/manuelkostka/discourse/canvas/theme.git"
- Définir l’URL de poussée sur votre dépôt GitHub
git remote set-url --push origin "git@github.com:Username/Reponame.git"
- Ensuite, vous pouvez récupérer périodiquement depuis GitLab et pousser vers GitHub
git fetch -p origin
git push origin
