From 3e00fbce0d46642c122ad569158b6ac1871c2522 Mon Sep 17 00:00:00 2001
From: Vincent Lee <vincent@vincent-lee.net>
Date: Sat, 25 Jun 2022 10:43:07 -0700
Subject: [PATCH] Disable deploy docs GH action on 1.18

What we'll do is only have the primary branch (right now 1.19) deploy docs
to avoid toe-trampling when we perform hotfixes to older branches.
---
 .github/workflows/deploy_docs.yml | 33 -------------------------------
 1 file changed, 33 deletions(-)
 delete mode 100644 .github/workflows/deploy_docs.yml

diff --git a/.github/workflows/deploy_docs.yml b/.github/workflows/deploy_docs.yml
deleted file mode 100644
index d3c36a89..00000000
--- a/.github/workflows/deploy_docs.yml
+++ /dev/null
@@ -1,33 +0,0 @@
-name: Deploy docs
-
-on:
-  push:
-    paths:
-      - 'web/**'
-
-jobs:
-  deploy-docs:
-    name: Deploy docs
-    runs-on: ubuntu-latest
-    steps:
-      - uses: actions/checkout@v2
-      - uses: actions/setup-node@v3
-        with:
-          node-version: 16.x
-          cache: yarn
-          cache-dependency-path: 'web/yarn.lock'
-      - name: Install dependencies
-        run: yarn install --frozen-lockfile
-        working-directory: ./web
-      - name: Build website
-        run: yarn build
-        working-directory: ./web
-
-      # Popular action to deploy to GitHub Pages:
-      # Docs: https://github.com/peaceiris/actions-gh-pages#%EF%B8%8F-docusaurus
-      - name: Deploy to GitHub Pages
-        uses: peaceiris/actions-gh-pages@v3
-        with:
-          github_token: ${{ secrets.GITHUB_TOKEN }}
-          # Build output to publish to the `gh-pages` branch:
-          publish_dir: ./web/build
-- 
2.45.2