This page describes how to mirror commits from a gitlab repository to a github repository.
On GitHub
- Go to github account settings > developer settings > personal access tokens
- Create a PAT (private access token) that allows to push to the corresponding repository
On localhost
- commit git history to github
On Gitlab
- Got to Settings > Repository > Mirroring Repositories >> add new
- paste the https-address of the github repo
- select mirror-direction: push
- select authentication: Username & Password
- provide github username
- provide PAT from github as password
- to prevent force push select “keep divergent refs” (this will also prevent initial push)
- ok
⇒ done