Merge branch 'main' into feature/first_public_release

ethz-asl · Aug 8, 2023 · 950921e · 950921e
2 parents 2278d93 + 18b9b8f
commit 950921e
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/.github/workflows/release_management.yml b/.github/workflows/release_management.yml
@@ -120,6 +120,8 @@ jobs:
     steps:
       - name: Checkout the current branch
         uses: actions/checkout@v3
+        with:
+          token: ${{ secrets.PAT }}
       - name: Detect version
         id: detect-version
         shell: bash