From 09674f250b34ca496b449ccc9e169b0ef427f3c3 Mon Sep 17 00:00:00 2001
From: Simon Knott <info@simonknott.de>
Date: Thu, 5 Sep 2024 12:13:03 +0200
Subject: [PATCH] Update docs/src/ci.md

Co-authored-by: Dmitry Gozman <dgozman@gmail.com>
Signed-off-by: Simon Knott <info@simonknott.de>
---
 docs/src/ci.md | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/docs/src/ci.md b/docs/src/ci.md
index fcb9366b8b..97ea4ad8d2 100644
--- a/docs/src/ci.md
+++ b/docs/src/ci.md
@@ -433,6 +433,8 @@ jobs:
     steps:
     - uses: actions/checkout@v4
       with:
+        # Force a non-shallow checkout, so that we can reference $GITHUB_BASE_REF.
+        # See https://github.com/actions/checkout for more details.
         fetch-depth: 0
     - uses: actions/setup-node@v4
       with: