diff --git a/release/release.py b/release/release.py index 48c866ead..f8ddbb825 100755 --- a/release/release.py +++ b/release/release.py @@ -143,11 +143,10 @@ if __name__ == "__main__": check=True, ) - # We currently have to use a personal access token, which auto-triggers CI. - # The default GITHUB_TOKEN cannot push to protected branches, - # see https://github.com/community/community/discussions/13836. - # print("➡️ Dispatching release workflow...") - # subprocess.run(["gh", "workflow", "run", "main.yml", "--ref", version], cwd=root, check=True) + print("➡️ Dispatching release workflow...") + subprocess.run( + ["gh", "workflow", "run", "main.yml", "--ref", version], cwd=root, check=True + ) print("") print("✅ CI is running now.")