We should move the wikimedia/wikimedia-ocr Git repository from GitHub to Wikimedia's GitLab. This will:

• Keep all our codebases together within Wikimedia.
• Avoid contributors having to give their data to external services.
• Have better integration with Phabricator.

• Create new repo; we have the ocr tool so the new repo can be https://gitlab.wikimedia.org/toolforge-repos/ocr (even though it's now run on a set of VPSs)
• Push GitHub repo to the new one
• Set up CI https://gitlab.wikimedia.org/toolforge-repos/ocr/-/merge_requests/1
• Update TranslateWiki.net to push to the new repo: T425209
• Check all open PRs and move any that are still needed
• Update GH repo with a link to the new location
• Archive GitHub repo
• Update repo link in the tool's footer
• Update all documentation and other links (Wikitech, etc.)