Merge pull request #446 from hkad98/trivial

TRIVIAL: back merge master to rel/dev

Reviewed-by: https://github.com/Mara3l

.github/workflows/rel-dev-back-merge.yaml

@@ -0,0 +1,23 @@
+name: Back merge to rel/dev branch
+
+on:
+  push:
+    branches:
+      - master
+  workflow_dispatch:
+
+jobs:
+  master-to-fast:
+    if: ${{ github.ref == 'refs/heads/master' }}
+    permissions:
+      contents: write
+      pull-requests: write
+    runs-on: ubuntu-latest
+    steps:
+      - uses: gooddata/github-actions/gitflow/merge@master
+        with:
+          merge: true
+          source: "master"
+          target: "rel/dev"
+          token_pr: ${{ secrets.TOKEN_GITHUB_YENKINS_ADMIN }}
+          token_push: ${{ secrets.TOKEN_GITHUB_YENKINS_ADMIN }}