Mirror von gitlab zu github

Anleitung, wie man ein git-Repository von gitlab zu github spiegeln kann.