From 97edb7a7c2f93451b2b6efa18b630117cce17847 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Jakub=20Ber=C3=A1nek?= <berykubik@gmail.com>
Date: Sat, 1 Feb 2025 15:50:00 +0100
Subject: [PATCH] Checkout repository sources in rustc-pull CI action

This is needed for the `gh` command to work.
---
 src/doc/rustc-dev-guide/.github/workflows/rustc-pull.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/doc/rustc-dev-guide/.github/workflows/rustc-pull.yml b/src/doc/rustc-dev-guide/.github/workflows/rustc-pull.yml
index 2a9f56fd6504..5bfcf47d7034 100644
--- a/src/doc/rustc-dev-guide/.github/workflows/rustc-pull.yml
+++ b/src/doc/rustc-dev-guide/.github/workflows/rustc-pull.yml
@@ -82,6 +82,7 @@ jobs:
     if: ${{ !cancelled() }}
     runs-on: ubuntu-latest
     steps:
+      - uses: actions/checkout@v4
       - name: Compute message
         id: create-message
         env: