Deprecated tool to sync mediawiki wikis to git repositories. Use the builtin mediawiki remote instead now.