From bc13f0ea37828f010aa0b266173bd8ae8e377d14 Mon Sep 17 00:00:00 2001
From: Tim Abbott <tabbott@zulip.com>
Date: Fri, 15 Dec 2023 09:47:09 -0800
Subject: [PATCH] Release Zulip Server 8.0.

---
 api_docs/changelog.md      |  4 ++++
 docs/overview/changelog.md | 12 +++++++-----
 version.py                 |  8 ++++----
 3 files changed, 15 insertions(+), 9 deletions(-)

diff --git a/api_docs/changelog.md b/api_docs/changelog.md
index 926b83eb3d..654c93896b 100644
--- a/api_docs/changelog.md
+++ b/api_docs/changelog.md
@@ -20,6 +20,10 @@ format used by the Zulip server that they are interacting with.
 
 ## Changes in Zulip 8.0
 
+**Feature level 237**
+
+No changes; feature level used for Zulip 8.0 release.
+
 **Feature level 236**
 
 * [`POST /messages`](/api/send-message), [`POST
diff --git a/docs/overview/changelog.md b/docs/overview/changelog.md
index 5ea5c2e302..b9e60a09a1 100644
--- a/docs/overview/changelog.md
+++ b/docs/overview/changelog.md
@@ -1,13 +1,15 @@
 # Version history
 
-This page contains the release history for the Zulip server. See also the
-[Zulip release lifecycle](../overview/release-lifecycle.md).
+This page contains the release history for the Zulip 8.x stable
+release series. See the [current Zulip changelog][latest-changelog]
+for newer release series, or the [commit log][commit-log] for an
+up-to-date list of all changes.
 
 ## Zulip Server 8.x series
 
-### Zulip Server 8.0-beta2
+### Zulip Server 8.0
 
-_Released 2023-12-12_
+_Released 2023-12-15_
 
 #### Highlights
 
@@ -3704,7 +3706,7 @@ _Released 2015-10-19_
 This section links to the upgrade notes from past releases, so you can
 easily read them all when upgrading across multiple releases.
 
-- [Draft upgrade notes for 8.0](#upgrade-notes-for-80)
+- [Upgrade notes for 8.0](#upgrade-notes-for-80)
 - [Upgrade notes for 7.0](#upgrade-notes-for-70)
 - [Upgrade notes for 6.0](#upgrade-notes-for-60)
 - [Upgrade notes for 5.0](#upgrade-notes-for-50)
diff --git a/version.py b/version.py
index f3d4e7227a..067d835896 100644
--- a/version.py
+++ b/version.py
@@ -1,6 +1,6 @@
 import os
 
-ZULIP_VERSION = "8.0-beta2+git"
+ZULIP_VERSION = "8.0"
 
 # Add information on number of commits and commit hash to version, if available
 zulip_git_version_file = os.path.join(
@@ -13,8 +13,8 @@ if os.path.exists(zulip_git_version_file):
 ZULIP_VERSION = lines.pop(0).strip()
 ZULIP_MERGE_BASE = lines.pop(0).strip()
 
-LATEST_MAJOR_VERSION = "7.0"
-LATEST_RELEASE_VERSION = "7.5"
+LATEST_MAJOR_VERSION = "8.0"
+LATEST_RELEASE_VERSION = "8.0"
 LATEST_RELEASE_ANNOUNCEMENT = "https://blog.zulip.com/2023/05/31/zulip-7-0-released/"
 
 # Versions of the desktop app below DESKTOP_MINIMUM_VERSION will be
@@ -33,7 +33,7 @@ DESKTOP_WARNING_VERSION = "5.9.3"
 # Changes should be accompanied by documentation explaining what the
 # new level means in api_docs/changelog.md, as well as "**Changes**"
 # entries in the endpoint's documentation in `zulip.yaml`.
-API_FEATURE_LEVEL = 236
+API_FEATURE_LEVEL = 237
 
 # Bump the minor PROVISION_VERSION to indicate that folks should provision
 # only when going from an old version of the code to a newer version. Bump