From 78deede3606574396e7480e0186eb3b93ea3cf30 Mon Sep 17 00:00:00 2001
From: Christoph Haas <christoph.h@sprinternet.at>
Date: Tue, 13 May 2025 20:01:33 +0200
Subject: [PATCH] Separate tag-based and branch-based documentation deployment

Updated the workflow to deploy documentation with `latest` alias only on tagged refs, while regular deployments occur for branches without updating aliases. This ensures proper versioning and prevents unintended alias updates.
---
 .github/workflows/pages.yml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/.github/workflows/pages.yml b/.github/workflows/pages.yml
index efdeefa..b148619 100644
--- a/.github/workflows/pages.yml
+++ b/.github/workflows/pages.yml
@@ -28,7 +28,7 @@ jobs:
 
       - name: Publish documentation
         if: ${{ ! startsWith(github.ref, 'refs/tags/') }}
-        run: mike deploy --push
+        run: mike deploy --push ${{ github.ref_name }}
         env:
           GIT_COMMITTER_NAME: "github-actions[bot]"
           GIT_COMMITTER_EMAIL: "41898282+github-actions[bot]@users.noreply.github.com"