Вы можете импортировать его через интерфейс:
Однако, если вы хотите иметь возможность синхронизировать изменения, я полагаю, вам нужно будет клонировать репозиторий локально, а затем выполнять пуш оттуда. Что-то вроде этого:
- Клонируйте из GitLab
git clone "https://gitlab.com/manuelkostka/discourse/canvas/theme.git"
- Установите URL для пуша в ваш репозиторий GitHub
git remote set-url --push origin "git@github.com:Username/Reponame.git"
- Затем вы можете периодически выполнять выборку из GitLab и пушить в GitHub
git fetch -p origin
git push origin