remove develop in tag creation (#689)

Fix tag is not correctly synced to github

Author: Changqing-JING

.github/workflows/github-sync-branches.yml

@@ -0,0 +1,23 @@
+name: sync branches to github
+
+on:
+  push:
+    branches:
+      - main
+      - master
+      - develop
+      - "release/*"
+  workflow_dispatch:
+
+jobs:
+  sync-branches:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+      - run: |
+          set -e
+          git remote add github https://${{ secrets.OSS_GITHUB_NAME }}:${{ secrets.OSS_GITHUB_TOKEN }}@github.com/wasm-ecosystem/wasm-compiler.git
+
+          # Push the current branch
+          BRANCH_NAME=${GITHUB_REF#refs/heads/}
+          git push github "$BRANCH_NAME" -f

.github/workflows/github-sync-tags.yml

@@ -0,0 +1,34 @@
+name: sync tags to github
+
+on:
+  push:
+    tags:
+      - "*"
+  workflow_dispatch:
+    inputs:
+      tag_name:
+        description: "Tag name to sync"
+        required: false
+        type: string
+
+jobs:
+  sync-tag:
+    runs-on: ubuntu-latest
+    steps:
+      - uses: actions/checkout@v4
+        with:
+          fetch-depth: 0
+      - run: |
+          set -e
+          git remote add github https://${{ secrets.OSS_GITHUB_NAME }}:${{ secrets.OSS_GITHUB_TOKEN }}@github.com/wasm-ecosystem/wasm-compiler.git
+
+          # Determine tag name: from manual input or from push event
+          if [[ "${{ github.event_name }}" == "workflow_dispatch" ]]; then
+            TAG_NAME="${{ github.event.inputs.tag_name }}"
+          else
+            # It's a tag push event
+            TAG_NAME="${GITHUB_REF#refs/tags/}"
+          fi
+
+          echo "Syncing tag: $TAG_NAME"
+          git push github "$TAG_NAME"

.github/workflows/github-sync.yml

@@ -8,6 +8,10 @@ on:
 
 env:
   package_name: wasm-compiler-${{ github.ref_name }}.tar.gz
+
+permissions:
+  contents: write
+
 jobs:
   release:
     runs-on: [ubuntu-latest]

.github/workflows/release.yml

@@ -5,7 +5,6 @@ on:
     branches:
       - main
       - master
-      - develop
       - "release/*"
   workflow_dispatch:
 
@@ -15,8 +14,14 @@ jobs:
     steps:
       - uses: actions/checkout@v4
         with:
-          fetch-depth: -1
-      - name: tag
+          token: ${{ secrets.TECH_USER_ATC_GITHUB_TOKEN }}
+          fetch-depth: 0
+      - name: Configure git for release tagging
+        run: |
+          git config --global user.email "[email protected]"
+          git config --global user.name "GitHub Release Bot"
+
+      - name: Create release tag
         run: |
           version_info=$(sed -n '/^##/{s/^##//;s/ //g;p;q;}' RELEASENOTES.md)
           new_tag_name=$version_info