aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorFlorian Dold <florian@dold.me>2024-08-27 00:10:12 +0200
committerFlorian Dold <florian@dold.me>2024-08-27 00:10:12 +0200
commitb24e8a48764c907455ab82cc92b8da811a9006bb (patch)
tree18eae902d17595f04ef2296240913184151258db
parentc70c2851d4bd2b2661969b3a7926b2377655cd6b (diff)
contrib: remove obsolete script
-rwxr-xr-xcontrib/devrelease.sh25
1 files changed, 0 insertions, 25 deletions
diff --git a/contrib/devrelease.sh b/contrib/devrelease.sh
deleted file mode 100755
index 4418ee539..000000000
--- a/contrib/devrelease.sh
+++ /dev/null
@@ -1,25 +0,0 @@
-#!/usr/bin/env bash
-
-set -eu
-
-set -x
-
-devtag=$1
-
-git tag $devtag || true
-
-make compile
-
-if [[ ! -d prebuilt ]]; then
- git worktree add -f prebuilt prebuilt
-fi
-
-mkdir -p prebuilt/$devtag
-
-cp packages/taler-wallet-embedded/dist/taler-wallet-embedded.js prebuilt/$devtag/
-cd prebuilt
-git add -A $devtag
-git commit -m "prebuilt files for $devtag" || true
-
-echo "please push:"
-echo "git push --tags origin master prebuilt"