From 7a3f21e7ca4f63c353284542d2dfbb568a3c803e Mon Sep 17 00:00:00 2001
From: Julius Marminge <julius0216@outlook.com>
Date: Fri, 1 May 2026 11:39:41 -0700
Subject: [PATCH] [codex] fix Discord release version flag (#2449)

Co-authored-by: Julius Marminge <julius@macmini.local>
---
 .github/workflows/release.yml     | 4 ++--
 scripts/notify-discord-release.ts | 8 ++++----
 2 files changed, 6 insertions(+), 6 deletions(-)

diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
index 950faa7bdcf521fb123a9dde73abfcc79ba173b7..4409c54c8ef055bf48d27224733b512c9e10aa01 100644
--- a/.github/workflows/release.yml
+++ b/.github/workflows/release.yml
@@ -628,7 +628,7 @@ jobs:
           node scripts/notify-discord-release.ts prerelease \
             --role-id "$DISCORD_MENTION_ROLE_ID" \
             --release-name "${{ needs.preflight.outputs.release_name }}" \
-            --version "${{ needs.preflight.outputs.version }}" \
+            --release-version "${{ needs.preflight.outputs.version }}" \
             --tag "${{ needs.preflight.outputs.tag }}" \
             --release-url "https://github.com/${{ github.repository }}/releases/tag/${{ needs.preflight.outputs.tag }}"
 
@@ -642,6 +642,6 @@ jobs:
           node scripts/notify-discord-release.ts latest \
             --role-id "$DISCORD_MENTION_ROLE_ID" \
             --release-name "${{ needs.preflight.outputs.release_name }}" \
-            --version "${{ needs.preflight.outputs.version }}" \
+            --release-version "${{ needs.preflight.outputs.version }}" \
             --tag "${{ needs.preflight.outputs.tag }}" \
             --release-url "https://github.com/${{ github.repository }}/releases/tag/${{ needs.preflight.outputs.tag }}"
diff --git a/scripts/notify-discord-release.ts b/scripts/notify-discord-release.ts
index 1789a166f2c57867854e8b66a0e38432782a1a9d..cb4ed0384db02d30b8d22303787faaea369fa066 100644
--- a/scripts/notify-discord-release.ts
+++ b/scripts/notify-discord-release.ts
@@ -173,7 +173,7 @@ export const notifyDiscordReleaseCommand = Command.make(
       Flag.withSchema(Schema.NonEmptyString),
       Flag.withDescription("Human-readable release name."),
     ),
-    version: Flag.string("version").pipe(
+    releaseVersion: Flag.string("release-version").pipe(
       Flag.withSchema(Schema.NonEmptyString),
       Flag.withDescription("Release version."),
     ),
@@ -186,7 +186,7 @@ export const notifyDiscordReleaseCommand = Command.make(
       Flag.withDescription("Public GitHub release URL."),
     ),
   },
-  ({ target, roleId, releaseName, version, tag, releaseUrl }) =>
+  ({ target, roleId, releaseName, releaseVersion, tag, releaseUrl }) =>
     Effect.gen(function* () {
       yield* Effect.logInfo("discord release announcement starting").pipe(
         Effect.annotateLogs({
@@ -194,7 +194,7 @@ export const notifyDiscordReleaseCommand = Command.make(
           roleIdProvided: roleId.length > 0,
           roleIdLength: roleId.length,
           releaseName,
-          version,
+          version: releaseVersion,
           tag,
           releaseUrl,
         }),
@@ -205,7 +205,7 @@ export const notifyDiscordReleaseCommand = Command.make(
         target,
         roleId,
         releaseName,
-        version,
+        version: releaseVersion,
         tag,
         releaseUrl,
         timestamp: new Date().toISOString(),
-- 
2.54.0