fix(CI): add back missing ci demos deploy script

.circleci/config.yml

@@ -140,7 +140,7 @@ jobs:
       - *attach_workspace
       - run:
           name: Publish Demos
-          command: tooling/ci/promote-next-and-deploy.sh
+          command: tooling/ci/demos-deploy-ci.sh
   generate_docs:
     <<: *defaults
     steps:

tooling/ci/demos-deploy-ci.sh

@@ -0,0 +1,38 @@
+#!/bin/bash
+
+#
+# Deploy demos
+#
+
+. ~/.bashrc
+
+# Clone the demo repo
+cd "$HOME" || exit
+# HACK: Avoid hosts unknown for GitHub: https://discuss.circleci.com/t/git-clone-fails-in-circle-2-0/15211
+mkdir ~/.ssh/ && echo -e "Host github.com\n\tStrictHostKeyChecking no\n" > ~/.ssh/config
+git clone git@github.com:GetTerminus/ui-demos-release.git
+
+# Enter the demos repo
+cd ui-demos-release || exit
+
+# Remove old demo files
+echo "Deleting old demo files:"
+find . -regextype posix-extended -regex '.*\.(html|css|js)' -type f -delete
+
+# Move new files into the cloned repo
+mv -f -v "$HOME"/ci-build/dist/app/* "$HOME"/ui-demos-release/
+
+# Clone the index.html file as 404.html to support deep linking
+cp "$HOME"/ui-demos-release/index.html "$HOME"/ui-demos-release/404.html
+
+# Update git credentials
+git config credential.helper 'cache --timeout=120'
+git config user.email "ben@benjamincharity.com"
+git config user.name "benjamincharity"
+
+# Commit new files
+git add .
+git commit -m "Update via CircleCI: release"
+
+# Push quietly to prevent showing the token in log
+git push -q https://"${GH_TOKEN}"@github.com/GetTerminus/ui-demos-release.git master