From 394061d28dcc78206a4f27aff6cc097149bd8132 Mon Sep 17 00:00:00 2001
From: Eric Huss <eric@huss.org>
Date: Sun, 16 Jul 2023 16:39:11 -0700
Subject: [PATCH] Rename make-release.sh to make-release-asset.sh

This is to better reflect what the script does.
---
 .github/workflows/deploy.yml                  | 2 +-
 ci/{make-release.sh => make-release-asset.sh} | 0
 2 files changed, 1 insertion(+), 1 deletion(-)
 rename ci/{make-release.sh => make-release-asset.sh} (100%)

diff --git a/.github/workflows/deploy.yml b/.github/workflows/deploy.yml
index f48abf71cf..44de7773e2 100644
--- a/.github/workflows/deploy.yml
+++ b/.github/workflows/deploy.yml
@@ -37,7 +37,7 @@ jobs:
     - name: Build and deploy artifacts
       env:
         GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
-      run: ci/make-release.sh ${{ matrix.os }} ${{ matrix.target }}
+      run: ci/make-release-asset.sh ${{ matrix.os }} ${{ matrix.target }}
       shell: bash
   pages:
     name: GitHub Pages
diff --git a/ci/make-release.sh b/ci/make-release-asset.sh
similarity index 100%
rename from ci/make-release.sh
rename to ci/make-release-asset.sh