From b8c362c9913a78e7c51e9e967429a559732363c3 Mon Sep 17 00:00:00 2001 From: Tim Abbott Date: Wed, 24 Aug 2022 17:03:19 -0700 Subject: [PATCH] release: Don't remove OUTPUT_DIR on exit. This ends up deleting your local copy of the release tarball, which can be annoying if you need to upload it manually to the GitHub releases page. --- tools/release | 1 - 1 file changed, 1 deletion(-) diff --git a/tools/release b/tools/release index a6a6b0de25..1dbef9b1c6 100755 --- a/tools/release +++ b/tools/release @@ -105,7 +105,6 @@ remote="$(git config zulip.zulipRemote)" || remote=upstream git push "$remote" "$branch:$branch" OUTPUT_DIR=$(mktemp -d) -trap 'rm -r "$OUTPUT_DIR"' EXIT export OUTPUT_DIR ./tools/build-release-tarball "$version"