From e54a414e325a6fe52c6d2995c63ae3bb6dab1264 Mon Sep 17 00:00:00 2001
From: Juan Escudero <jescudero@iaa.es>
Date: Mon, 15 Apr 2024 12:26:33 +0200
Subject: [PATCH] Fix release title in docs deployment to GitHub pages (#98)

Add workaround for #95, caused by a bug in the checkout action (github.com/actions/checkout/issues/882).
---
 .github/workflows/docs.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.github/workflows/docs.yml b/.github/workflows/docs.yml
index 9e3cf6a2..64e338fc 100644
--- a/.github/workflows/docs.yml
+++ b/.github/workflows/docs.yml
@@ -33,6 +33,9 @@ jobs:
         with:
           fetch-depth: 0
 
+      - name: Workaround for https://github.com/actions/checkout/issues/882
+        run: git fetch --tags --force origin
+
       - name: Set up Python
         uses: actions/setup-python@v4
         with: