From 8184f0677d404e9390dcda060b3cec11d6bdb586 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Oph=C3=A9lie=20Le=20Mentec?=
 <17216799+ouphi@users.noreply.github.com>
Date: Wed, 1 Nov 2023 13:28:01 +0100
Subject: [PATCH 1/2] Removed tagging of the repository.

---
 .github/workflows/publish-docs-new-version.yml | 10 ++++------
 1 file changed, 4 insertions(+), 6 deletions(-)

diff --git a/.github/workflows/publish-docs-new-version.yml b/.github/workflows/publish-docs-new-version.yml
index 804a9647f4..ae7e003636 100644
--- a/.github/workflows/publish-docs-new-version.yml
+++ b/.github/workflows/publish-docs-new-version.yml
@@ -1,16 +1,16 @@
 # This workflow needs to be triggered manually to create a 
-# new version of the documentation
+# new version of the documentation.
 # 
-# this workflow needs to live in default branch to be able
+# This workflow needs to live in default branch to be able
 # to be triggered manually due to a limitation of github actions.
 
-# make sure to select the branch `docs/main` when triggering this action
+# Make sure to select the branch `docs/main` when triggering this action
 name: publish-docs-new-version
 on:
   workflow_dispatch:
     inputs:
       version:
-        description: 'The version that needs to be deployed'
+        description: 'Input the version that needs to be deployed. For example 2.0.0. (And make sure you select the branch docs/main when triggering this action.)'
         required: true
 
 jobs:
@@ -32,5 +32,3 @@ jobs:
       - run: | 
           mike deploy --push --update-aliases ${{ github.event.inputs.version }} latest
           mike list
-      # tag the repository
-      - run: git tag docs@${{ github.event.inputs.version }}
\ No newline at end of file

From ec6ff783fa684b8b41eab204a4c04f3219785826 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Oph=C3=A9lie=20Le=20Mentec?=
 <17216799+ouphi@users.noreply.github.com>
Date: Wed, 1 Nov 2023 13:29:51 +0100
Subject: [PATCH 2/2] improvements.

---
 .github/workflows/publish-docs-new-version.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/publish-docs-new-version.yml b/.github/workflows/publish-docs-new-version.yml
index ae7e003636..c435c21fda 100644
--- a/.github/workflows/publish-docs-new-version.yml
+++ b/.github/workflows/publish-docs-new-version.yml
@@ -10,7 +10,7 @@ on:
   workflow_dispatch:
     inputs:
       version:
-        description: 'Input the version that needs to be deployed. For example 2.0.0. (And make sure you select the branch docs/main when triggering this action.)'
+        description: 'Input the version that needs to be deployed. For example 2.0.0 (and make sure you select the branch docs/main when triggering this action.)'
         required: true
 
 jobs: