fix: Checkout repo before labeling PR

The gh cli complains that it is not running in a git directory.
gonzolino · Feb 21, 2023 · 88c87c0 · 88c87c0
1 parent 0157771
commit 88c87c0
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
@@ -69,6 +69,7 @@ jobs:
           GITHUB_TOKEN: ${{ secrets.PERSONAL_GITHUB_TOKEN }}
 
     steps:
+      - uses: actions/checkout@v3.3.0
       - name: Get PR number
         id: pr
         run: |