Note that we don't change the URL for BAD_GIT_REPOSITORY as we need them to return 500 while trying to clone. If we use Nexedi Gitlab repo for non-existing repo, we get redirected to login page. Hence, we keep using git.erp5.org for repo/nowhere.