Update release script.

leanprover · Sep 14, 2022 · 65d0a0c · 65d0a0c
1 parent d62eece
commit 65d0a0c
Showing 1 changed file with 5 additions and 0 deletions.
diff --git a/release.sh b/release.sh
@@ -9,6 +9,11 @@ if [ -z "$OVSX_PAT" ]; then
   export OVSX_PAT
 fi
 
+if [ -z "$VSCE_PAT" ]; then
+  VSCE_PAT="$(pass pat/vsce)" || exit 1
+  export VSCE_PAT
+fi
+
 set -ex
 new_version="$1"
 sed -i 's/"version": ".*"/"version": "'$new_version'"/' package.json