1 files changed, 0 insertions, 30 deletions
diff --git a/update_version.sh b/update_version.sh
deleted file mode 100755
index b9a2630e113e..000000000000
--- a/update_version.sh
+++ /dev/null
@@ -1,30 +0,0 @@
-#!/bin/bash
-set -e -v
-
-VERSION=$1
-API_JSON=$(printf '{"tag_name": "v%s", "target_commitish": "master", "name": "v%s", "body": "v%s", "draft": false, "prerelease": false}' $VERSION $VERSION $VERSION)
-RELEASE_URL=https://api.github.com/repos/joneshf/purescript/releases
-
-# Grab the original tar.
-curl -L "https://github.com/purescript/purescript/releases/download/v$VERSION/linux64.tar.gz"> orig.tar.gz
-# Extract and get rid of RPATH info.
-tar zxvf orig.tar.gz
-find purescript -name 'psc*' -exec chrpath -d {} \;
-tar zcvf modified.tar.gz purescript
-# Make a release
-curl --data "$API_JSON" $RELEASE_URL?access_token=$PURESCRIPT_BIN_TOKEN
-# Upload the tar.
-ASSET_URL=$(curl "$RELEASE_URL/tags/v$VERSION?access_token=$PURESCRIPT_BIN_TOKEN" | json upload_url | sed "s/{.*//")
-curl -X POST -H "Content-Type:application/gzip" "$ASSET_URL?access_token=$PURESCRIPT_BIN_TOKEN&name=linux64.tar.gz" -T modified.tar.gz
-
-# Continue with what we normally do.
-git clean -fxd
-sed -i "s/^pkgver=.*/pkgver="$VERSION"/" PKGBUILD
-updpkgsums
-makepkg -s
-mkaurball -f
-namcap purescript-bin*.pkg.tar.xz
-mksrcinfo
-git add .
-git commit -m "Updated version to $VERSION."
-git push origin master