From acaed42b316d94100a075bac836e571516b425ea Mon Sep 17 00:00:00 2001
From: Frank Hoffmann <15r10nk-git@polarbit.de>
Date: Sun, 15 Oct 2023 21:17:59 +0200
Subject: [PATCH] ci: deploy docs manually

---
 .github/workflows/docs.yml | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 25bd9b37..b7149084 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -3,6 +3,7 @@ on:
   push:
     tags:
     - v[0-9]+.[0-9]+.[0-9]+
+    - deployed_docs
 
 jobs:
   build:
@@ -26,3 +27,8 @@ jobs:
           #EXTRA_PACKAGES: build-base
           # GITHUB_DOMAIN: github.myenterprise.com
         REQUIREMENTS: doc_requirements.txt
+    - name: tag docs
+      uses: tvdias/github-tagger@v0.0.1
+      with:
+        repo-token: ${{ secrets.GITHUB_TOKEN }}
+        tag: deployed_docs