From bb12a4ae9e769cc1105a9593b7175e991e60b311 Mon Sep 17 00:00:00 2001
From: Alex Plate <aleksei.plate@jetbrains.com>
Date: Thu, 21 May 2026 16:52:38 +0300
Subject: [PATCH] Include registry-for-jetbrains.json in GitHub release

The build produces registry-for-jetbrains.json alongside registry.json
and uploads it to S3/CDN, but the GitHub release attachment list omitted
it. Add it so it is downloadable from the release page like the other
registry artifacts.
---
 .github/workflows/build-registry.yml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/.github/workflows/build-registry.yml b/.github/workflows/build-registry.yml
index 4197b27b..22ae0eb6 100644
--- a/.github/workflows/build-registry.yml
+++ b/.github/workflows/build-registry.yml
@@ -233,6 +233,7 @@ jobs:
             --title "Registry $VERSION" \
             --notes "$RELEASE_NOTES" \
             dist/registry.json \
+            dist/registry-for-jetbrains.json \
             dist/agent.schema.json \
             dist/registry.schema.json \
             dist/*.svg