fix: update of dev branch has no credentials (#1724)

This commit is contained in:
Meier Lukas authored and GitHub committed 2024-12-19 16:10:55 +01:00
1 parent 1e8a5359b7
commit bb7f751481
1 file changed
+2
@@ -90,6 +90,8 @@ jobs:
- name: Update dev branch
if: env.SKIP_RELEASE == 'false'
continue-on-error: true # Prevent pipeline from failing when merge fails
env:
GITHUB_TOKEN: ${{ steps.obtainToken.outputs.token }}
run: |
git fetch origin dev
git checkout dev