Merge pull request #15 from YDX-2147483647/pr-8138

Prepare for the last build that uses the old docs infrastructure

Author: YDX-2147483647

.github/workflows/docs.yaml

@@ -37,7 +37,10 @@ jobs:
       - uses: actions/checkout@v6
         with:
           repository: typst/typst
-          ref: ${{ env.INPUT_REF }}
+          # Temporary workaround for using the old docs infrastructure
+          ref: main
+          fetch-depth: 20
+      - run: git switch --detach ${{ env.INPUT_REF }}
 
       - uses: actions/checkout@v6
         with:

scripts/get_revision.py

@@ -25,7 +25,7 @@ def get_description() -> str:
     # As a result, `git describe --tags` is always relative to v0.11.0, like `v0.11.0-1051-g586b04948`.
 
     name_full = run(
-        ["git", "name-rev", "--name-only", "HEAD"],
+        ["git", "name-rev", "--name-only", "--no-undefined", "HEAD"],
         capture_output=True,
         text=True,
         check=True,