Remove push_git_tag workflow

.github/workflows/push_git_tag.yml

@@ -1,21 +0,0 @@
-# This workflow pushes a new Git tag to the main branch when the version bumps.
-
-name: Push release tag
-
-on:
-  workflow_dispatch:
-  push:
-    branches:
-      - main
-    paths:
-      - VERSION
-
-jobs:
-  tag_main_branch:
-    runs-on: ubuntu-latest
-    steps: 
-      - name: Add Git tag
-        uses: pxpm/github-tag-action@1.0.1
-        with:
-          repo-token: ${{ secrets.GITHUB_TOKEN }}
-          tag: v0.17.0

tools/bump_version.sh

@@ -195,21 +195,10 @@ sync_project_version() {
 
     update_project_dependencies
 
-    # Update tag version in release_tag workflow
-    RELEASE_TAG_WORKFLOW=${ASTER_SRC_DIR}/.github/workflows/push_git_tag.yml
-    update_tag_version $RELEASE_TAG_WORKFLOW
-
     echo -n "${new_version}" > ${VERSION_PATH}
     echo "Bumped Asterinas OSTD & OSDK version to $new_version"
 }
 
-
-# Update tag version (`v{version}`) in file $1
-update_tag_version() {
-    echo "Updating file $1"
-    sed -i "s/v[[:digit:]]\+\.[[:digit:]]\+\.[[:digit:]]\+/v${new_version}/g" $1
-}
-
 SCRIPT_DIR=$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )
 ASTER_SRC_DIR=${SCRIPT_DIR}/..
 BOOK_DIR=${ASTER_SRC_DIR}/book