2 repositories on SrcLog
To generate a production use MediaWiki docker image
Github to Gitlab sync script with Docker support