From 16440b39c5f60eb2f3a3602a385f25bb139a07fb Mon Sep 17 00:00:00 2001
From: Henning Dieterichs <henning.dieterichs@jetbrains.com>
Date: Wed, 23 Sep 2020 13:03:33 +0200
Subject: [PATCH] Playground publish script.

---
 .github/workflows/playground.yml | 26 ++++++++++++++++++++++++++
 playground/package.json          |  2 +-
 2 files changed, 27 insertions(+), 1 deletion(-)
 create mode 100644 .github/workflows/playground.yml

diff --git a/.github/workflows/playground.yml b/.github/workflows/playground.yml
new file mode 100644
index 0000000..ec68ec6
--- /dev/null
+++ b/.github/workflows/playground.yml
@@ -0,0 +1,26 @@
+name: Release
+on:
+    push:
+        branches:
+            - master
+jobs:
+    release:
+        name: Release
+        runs-on: ubuntu-18.04
+        steps:
+            - name: Checkout
+              uses: actions/checkout@v1
+            - name: Setup Node.js
+              uses: actions/setup-node@v1
+              with:
+                  node-version: 12
+            - name: Install dependencies
+              run: yarn install
+            - name: Build
+              run: yarn build
+            - name: Publish github pages
+              run: |
+                  git remote set-url origin https://git:${GITHUB_TOKEN}@github.com/${GITHUB_REPOSITORY}.git
+                  yarn workspace playground run pub
+              env:
+                  GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
diff --git a/playground/package.json b/playground/package.json
index 3bbe3b2..e830703 100644
--- a/playground/package.json
+++ b/playground/package.json
@@ -7,7 +7,7 @@
 		"build": "yarn build-webpack && yarn build-docs",
 		"build-webpack": "node --max_old_space_size=4096 ../node_modules/webpack/bin/webpack.js --mode production",
 		"build-docs": "ts-node ./scripts/build-docs",
-		"pub": "gh-pages -d dist"
+		"pub": "gh-pages -d dist -u 'github-actions-bot <support+actions@github.com>'"
 	},
 	"dependencies": {
 		"@blueprintjs/core": "^3.23.1",