Potresti importarlo tramite l’interfaccia utente:
Tuttavia, se desideri essere in grado di sincronizzare le modifiche, credo che dovresti eseguire il pull su un clone locale e quindi eseguire il push da esso. Qualcosa del genere:
- Clona da GitLab
git clone "https://gitlab.com/manuelkostka/discourse/canvas/theme.git"
- Imposta l’URL di push sul tuo repository GitHub
git remote set-url --push origin "git@github.com:Username/Reponame.git"
- Quindi puoi periodicamente eseguire il fetch da GitLab ed eseguire il push su GitHub
git fetch -p origin
git push origin