From eff5873e657b3a05f118ef506b558dce451e4775 Mon Sep 17 00:00:00 2001 From: fcrozatier Date: Wed, 27 May 2026 16:40:33 +0200 Subject: [PATCH] release --- .github/RELEASE.md | 11 ++--------- deno.json | 2 +- 2 files changed, 3 insertions(+), 10 deletions(-) diff --git a/.github/RELEASE.md b/.github/RELEASE.md index 9332efb..03563b0 100644 --- a/.github/RELEASE.md +++ b/.github/RELEASE.md @@ -9,13 +9,6 @@ To cut a release, follow these steps: 2. Create and land a PR -3. Pull the changes and tag the main branch: +3. Create a tag and release from github UI - ```sh - git tag vX.Y.Z - git push origin vX.Y.Z - ``` - -4. Publish the tag from github UI - -5. Wait for the workspace publish action to publish the new release to JSR. +4. Wait for the workspace publish action to publish the new release to JSR. diff --git a/deno.json b/deno.json index 5489fac..1861c22 100644 --- a/deno.json +++ b/deno.json @@ -1,5 +1,5 @@ { - "version": "1.4.1", + "version": "1.5.0", "name": "@fcrozatier/type-strip", "license": "MIT", "tasks": {