This repo has moved to Wikimedia GitLab:

  https://gitlab.wikimedia.org/repos/mediawiki/services/mathoid

To alter your local git clone, run:

  git remote set-url origin git@gitlab.wikimedia.org:repos/mediawiki/services/mathoid
  git fetch origin
  git checkout -B main -t origin/main