add helper script

dplewis · dplewis · commit d46ed5df3cc6 · 2023-09-28T17:56:34.000-05:00
diff --git a/release_docs.sh b/release_docs.sh
@@ -1,5 +1,7 @@
 #!/bin/sh -e
 set -x
+# GITHUB_ACTIONS=true SOURCE_TAG=test ./release_docs.sh
+
 if [ "${GITHUB_ACTIONS}" = "" ];
 then
   echo "Cannot release docs without GITHUB_ACTIONS set"
