From 39efe6f312beb792cd25c687c3b79b1bfd44d5d7 Mon Sep 17 00:00:00 2001
From: Alex Vandiver <alexmv@zulip.com>
Date: Fri, 15 Jul 2022 17:38:25 -0700
Subject: [PATCH] ci: Remove references to CircleCI, which we no longer use.

---
 tools/ci/Dockerfile.prod                                      | 2 +-
 tools/ci/production-install                                   | 4 ++--
 tools/ci/production-verify                                    | 2 +-
 .../documentation_crawler/spiders/common/spiders.py           | 2 --
 4 files changed, 4 insertions(+), 6 deletions(-)

diff --git a/tools/ci/Dockerfile.prod b/tools/ci/Dockerfile.prod
index 6301baff45184..da8080a521ce5 100644
--- a/tools/ci/Dockerfile.prod
+++ b/tools/ci/Dockerfile.prod
@@ -19,7 +19,7 @@ RUN cd $(mktemp -d) \
   && tar -xf "zulip-server-$VERSION.tar.gz" \
   && sudo service rabbitmq-server start \
   && sudo service rabbitmq-server status \
-  && sudo -s "./zulip-server-$VERSION/scripts/setup/install" --self-signed-cert --hostname 127.0.0.1 --email circleci@example.com \
+  && sudo -s "./zulip-server-$VERSION/scripts/setup/install" --self-signed-cert --hostname 127.0.0.1 --email ci@example.com \
   && sudo service rabbitmq-server stop
 
 CMD ["/bin/sh"]
diff --git a/tools/ci/production-install b/tools/ci/production-install
index 0e81e4c20b571..b76bbcf8dcfdf 100755
--- a/tools/ci/production-install
+++ b/tools/ci/production-install
@@ -69,10 +69,10 @@ fi
 # Install
 if [ -z "$TEST_CUSTOM_DB" ]; then
     echo "Testing production install with default database name and user."
-    "$ZULIP_PATH"/scripts/setup/install --self-signed-cert --hostname 127.0.0.1 --email circleci@example.com
+    "$ZULIP_PATH"/scripts/setup/install --self-signed-cert --hostname 127.0.0.1 --email ci@example.com
 else
     echo "Testing production install with custom database name and user."
-    "$ZULIP_PATH"/scripts/setup/install --self-signed-cert --hostname 127.0.0.1 --email circleci@example.com --postgresql-database-user zulipcustomuser --postgresql-database-name zulipcustomdb
+    "$ZULIP_PATH"/scripts/setup/install --self-signed-cert --hostname 127.0.0.1 --email ci@example.com --postgresql-database-user zulipcustomuser --postgresql-database-name zulipcustomdb
 fi
 
 if [ "$os_id $os_version_id" = 'ubuntu 20.04' ]; then
diff --git a/tools/ci/production-verify b/tools/ci/production-verify
index c2076575d7fb5..ff840c2c03aca 100755
--- a/tools/ci/production-verify
+++ b/tools/ci/production-verify
@@ -44,7 +44,7 @@ done
 cat >>/etc/zulip/settings.py <<EOF
 # CircleCI override settings above
 AUTHENTICATION_BACKENDS = ( 'zproject.backends.EmailAuthBackend', )
-NOREPLY_EMAIL_ADDRESS = 'noreply@circleci.example.com'
+NOREPLY_EMAIL_ADDRESS = 'noreply@example.com'
 ALLOWED_HOSTS = []
 EOF
 
diff --git a/tools/documentation_crawler/documentation_crawler/spiders/common/spiders.py b/tools/documentation_crawler/documentation_crawler/spiders/common/spiders.py
index ea44fe18548c0..8d2ed07a64c71 100644
--- a/tools/documentation_crawler/documentation_crawler/spiders/common/spiders.py
+++ b/tools/documentation_crawler/documentation_crawler/spiders/common/spiders.py
@@ -32,8 +32,6 @@
     "https://www.transifex.com/zulip/zulip/announcements/",
     "https://marketplace.visualstudio.com/items?itemName=ms-vscode-remote.remote-ssh",
     # Requires authentication
-    "https://circleci.com/gh/zulip/zulip/tree/main",
-    "https://circleci.com/gh/zulip/zulip/16617",
     "https://www.linkedin.com/company/zulip-project",
     # Returns 403 errors to HEAD requests
     "https://giphy.com",