fetch tags for doc

Author: rchevrier

.github/workflows/doc.yaml

@@ -17,6 +17,10 @@ jobs:
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4
+      # https://github.com/actions/checkout/issues/1471
+      # Clobber local unannotated tag
+      - name: Fetch tags
+        run: git fetch --prune --unshallow --tags --force
       - uses: mamba-org/setup-micromamba@v2
         with:
           environment-name: docs