From f52ad093b608c71b6f0e9e11591b4accee2015c2 Mon Sep 17 00:00:00 2001
From: Shunichiro Nomura <nomura@space.t.u-tokyo.ac.jp>
Date: Wed, 12 Jul 2023 11:25:33 +0900
Subject: [PATCH] Add write permissions and push tags in release.yml

---
 .github/workflows/release.yml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
index 32e69ac1..4eb9061e 100644
--- a/.github/workflows/release.yml
+++ b/.github/workflows/release.yml
@@ -11,6 +11,8 @@ jobs:
   create-tag:
     name: Create a Git tag
     runs-on: ubuntu-latest
+    permissions:
+      contents: write
     outputs:
       version: ${{ steps.get-version.outputs.version }}
     steps:
@@ -33,6 +35,7 @@ jobs:
         run: |
           git fetch --tags
           git tag --annotate "v${{ steps.get-version.outputs.version }}" --message="v${{ steps.get-version.outputs.version }}"
+          git push origin "v${{ steps.get-version.outputs.version }}"
 
   publish-to-pypi:
     name: Publish to PyPI