Have a public repo on github for the world to see + have a the same repo private on gitlab for project specific branches/dev. Locally use github as upstream and gitlab as origin. We develop in gitlab and push general applicable changes to our upstream github repo.
In detail:
- one for our private repository on gitlab (will be the default one, called
origin
) - one to be connected to a repo on github, to be able to publish new general changes (will be called
upstream
)