add automation to create a release PR

.github/workflows/release_pr_automation.yml

@@ -0,0 +1,19 @@
+name: sync to master
+on:
+  push:
+    branches: [backup_sync]
+  workflow_dispatch:    # allow to manually trigger this workflow
+jobs:
+  create_pr:
+    permissions: write-all
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+        with:
+          fetch-depth: 0
+          ref: backup_sync
+
+      - name: Create a PR from backup_sync to master
+        run: gh pr create --repo Privado-Inc/joern -B master -H backup_sync --title 'Release PR' --body 'Created by Github action'
+        env:
+          GH_TOKEN: ${{ secrets.GITHUB_TOKEN }}

.github/workflows/upstream_sync.yml

@@ -17,7 +17,7 @@ jobs:
         run: |
               echo "LATEST_TAG=$(curl -L \
               -H "Accept: application/vnd.github+json" \
-              https://api.github.com/repos/joernio/joern/releases/latest | jq -r .name | sed 's/[v.]//g' )" >> $GITHUB_ENV
+              https://api.github.com/repos/joernio/joern/releases/latest | jq -r .name | sed 's/[v]//g' | sed 's/[.]/-/g' )" >> $GITHUB_ENV
 
       - name: Create tag branch and merge upstream
         uses: peterjgrainger/[email protected]