Use the https-everywhere Github repo
We're still using the repo on git.torproject.org, and it's obvious that https://git.torproject.org/https-everywhere.git is a remainder of earlier days. The new tag (2021.7.13) wasn't pushed to the git.tpo repo, so let's start pulling from Github.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information