# Assume we are in your home directory
cd ~/

# Clone the repo from GitLab using the `--mirror` option
$ git clone --mirror git@gitlab.kwant-project.org:r-j-skolasinski/discretizer.git

# Change into newly created repo directory
$ cd ~/discretizer.git

# Push to GitHub using the `--mirror` option.  The `--no-verify` option skips any hooks. 
$ git push --no-verify --mirror git@github.com:basnijholt/discretizer.git

# Set push URL to the mirror location
$ git remote set-url --push origin git@github.com:basnijholt/discretizer.git

# To periodically update the repo on GitHub with what you have in GitLab
git fetch -p origin
git push --no-verify --mirror