Fix (#5)

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 #fixme url
+      - run: |
+          set -e
+          git remote add github https://${{ secrets.OSS_GITHUB_NAME }}:${{ secrets.OSS_GITHUB_TOKEN }}@github.com/Schleifner/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 #fixme url
+      - run: |
+          set -e
+          git remote add github https://${{ secrets.OSS_GITHUB_NAME }}:${{ secrets.OSS_GITHUB_TOKEN }}@github.com/Schleifner/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

@@ -15,15 +15,16 @@ jobs:
       - uses: actions/checkout@v4
         with:
           fetch-depth: -1
-      - 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
+      - name: Extract version from RELEASENOTES.md
+        id: get_version
         run: |
           version_info=$(sed -n '/^##/{s/^##//;s/ //g;p;q;}' RELEASENOTES.md)
-          new_tag_name=$version_info
-          echo "new_tag_name will be: $new_tag_name"
-          git tag -a $new_tag_name -m '[GITHUB CI] push new tag'
-          git push origin HEAD:${{ github.ref_name }} $new_tag_name
+          echo "version=$version_info" >> $GITHUB_OUTPUT
+
+      - name: Create tag
+        uses: mathieudutour/[email protected]
+        with:
+          github_token: ${{ secrets.TECH_USER_ATC_GITHUB_TOKEN }}
+          custom_tag: ${{ steps.get_version.outputs.version }}
+          tag_prefix: ""
+          create_annotated_tag: true

.github/workflows/tag.yml

@@ -1,5 +1,5 @@
 # Wasm Compiler Release Notes
-
+## 3.0.4
 ## 3.0.3
 Add u32 and u64 type to WasmValue