chore: merge master to dev

This commit is contained in:
Koen Kanters
2023-05-27 16:36:37 +02:00
committed by GitHub
@@ -15,4 +15,5 @@ jobs:
type: now
head_to_merge: master
target_branch: dev
message: "chore: merge master to dev"
github_token: ${{ secrets.GH_TOKEN }}