From 0c1fb9fd4497db0619d779c9cbfe37cdd3ac355a Mon Sep 17 00:00:00 2001
From: Jonas Nick <jonasd.nick@gmail.com>
Date: Wed, 23 Sep 2020 19:18:53 +0000
Subject: [PATCH] push-release: fix bug where assets are not pushed

In a previous commit we found and replaced $1 with $TAG_NAME, but that wasn't
correct for the post_asset() function.
---
 helper/push-release.sh | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/helper/push-release.sh b/helper/push-release.sh
index 11967be..9058214 100755
--- a/helper/push-release.sh
+++ b/helper/push-release.sh
@@ -68,8 +68,8 @@ fi
 
 post_asset() {
     GH_ASSET="https://uploads.github.com/repos/$REPO/releases/$ID/assets?name="
-    curl -H "Authorization: token $OAUTH_TOKEN" --data-binary "@$TAG_NAME" -H "Content-Type: application/octet-stream" \
-         $GH_ASSET/$(basename $TAG_NAME) &> /dev/null
+    curl -H "Authorization: token $OAUTH_TOKEN" --data-binary "@$1" -H "Content-Type: application/octet-stream" \
+         $GH_ASSET/$(basename $1) &> /dev/null
 }
 post_asset $ARCHIVE
 post_asset $SHA256SUMS