# Clone the repo from GitLab using the `--bare` option
$ git clone --bare git@your-gitlab-site.com:mario/my-repo.git

# Push to GitHub using the `--mirror` option
$ git push --mirror git@github.com:mario/my-repo.git