From 8af90620c0f044b6a252da56957870544b57d7db Mon Sep 17 00:00:00 2001
From: Catherine <whitequark@whitequark.org>
Date: Mon, 22 May 2023 20:25:21 +0000
Subject: [PATCH] CI: fix the document action for divergent branches.

This was never intended to merge anything.
---
 .github/workflows/main.yaml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/main.yaml b/.github/workflows/main.yaml
index d6329c7..b39619d 100644
--- a/.github/workflows/main.yaml
+++ b/.github/workflows/main.yaml
@@ -60,9 +60,9 @@ jobs:
         uses: actions/checkout@v3
         with:
           fetch-depth: 0
-      - name: Pull tags from upstream repository
+      - name: Fetch tags from upstream repository
         run: |
-          git pull --tags https://github.com/amaranth-lang/amaranth.git
+          git fetch --tags https://github.com/amaranth-lang/amaranth.git
       - name: Set up Python
         uses: actions/setup-python@v4
         with: