From ec9fdaa56540b8d8eb6cafe6d1e4207a52eaad75 Mon Sep 17 00:00:00 2001
From: ComFreek <comfreek@outlook.com>
Date: Fri, 15 Jan 2021 17:51:48 +0100
Subject: [PATCH] Update DEPLOY.md

---
 DEPLOY.md | 18 +++++++++++++-----
 1 file changed, 13 insertions(+), 5 deletions(-)

diff --git a/DEPLOY.md b/DEPLOY.md
index 7c96b814..ad049537 100644
--- a/DEPLOY.md
+++ b/DEPLOY.md
@@ -4,12 +4,20 @@ TODO: describe how to deploy here
 
 ## Versioning
 
-Always release [UFrameIT/UFrameIT](https://github.com/UFrameIT/UFrameIT) (this repo) and [FrameIT/frameworld](https://gl.mathhub.info/FrameIT/frameworld) (the MMT archive)
+We use semantic versioning. A version number looks like `x.y.z`, no `v` prefix.
+
+Always release all of
+
+- [UFrameIT/UFrameIT](https://github.com/UFrameIT/UFrameIT) (this repo)
+- [FrameIT/frameworld](https://gl.mathhub.info/FrameIT/frameworld) (the MMT archive)
+- [UFrameIT/archives](https://github.com/UFrameIT/archives) (Git aggregation repo of MMT archives)
+
 at the same time with the *same* version number.
 
 Concretely:
 
-1. Merge [FrameIT/frameworld](https://gl.mathhub.info/FrameIT/frameworld)'s devel branch into master and git-tag appropriately.
-2. Update archive submodules in [UFrameIT/archives](https://github.com/UFrameIT/archives) and git-tag appropriately.
-3. Create a new GitHub release here: <https://github.com/UFrameIT/UFrameIT/releases>
-3. Write a news post on our website: <https://github.com/UFrameIT/UFrameIT.github.io>
+1. Merge [FrameIT/frameworld](https://gl.mathhub.info/FrameIT/frameworld)'s devel branch into master and git-tag with `x.y.z`.
+2. Update archive submodules in [UFrameIT/archives](https://github.com/UFrameIT/archives) and git-tag with `x.y.z`.
+3. Git-tag [UFrameIT/UFrameIT](https://github.com/UFrameIT/UFrameIT) (this repo) with `x.y.z.`.
+4. Create a new GitHub release here: <https://github.com/UFrameIT/UFrameIT/releases>
+5. Write a news post on our website: <https://github.com/UFrameIT/UFrameIT.github.io>
-- 
GitLab