ci: Remove references to CircleCI, which we no longer use.

PIG208 · Jul 16, 2022 · 39efe6f · 39efe6f
1 parent f8e2d65
commit 39efe6f
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 6 deletions.
diff --git 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
@@ -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
@@ -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 = '[email protected]'
 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
@@ -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",