Merge remote-tracking branch 'origin/master'

scripts/deploy.sh

@@ -0,0 +1,13 @@
+#!/bin/bash
+set -euo pipefail
+
+SCRIPT_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)"
+ROOT_DIR="$(cd "${SCRIPT_DIR}/.." && pwd)"
+TARGET="${ROOT_DIR}/deploy/deploy.sh"
+
+if [[ ! -f "$TARGET" ]]; then
+  echo "ERROR: target deploy script not found: $TARGET"
+  exit 1
+fi
+
+exec /bin/bash "$TARGET" "$@"