chore: merge master to dev

This commit is contained in:
Koen Kanters
2024-01-01 13:22:32 +01:00
committed by GitHub
+3 -1
View File
@@ -87,9 +87,11 @@ jobs:
run: |
git config --local user.email "41898282+github-actions[bot]@users.noreply.github.com"
git config --local user.name "github-actions[bot]"
git fetch origin
git checkout master
git merge -m 'chore: merge dev to master'
git merge -m 'chore: merge dev to master' dev
git push origin master
git checkout dev
- name: Promote to dev
run: |
jq '.version = "${{ needs.release-please.outputs.version }}-dev"' package.json > package.json.tmp