From bf568cc6579861fcec7879191826e06da28f40a2 Mon Sep 17 00:00:00 2001
From: Ashwin Maroli <ashmaroli@users.noreply.github.com>
Date: Fri, 22 May 2020 22:13:40 +0530
Subject: [PATCH] Revert merge of #8126 [skip ci]

This reverts commit ab8c4b9b508583e18778361440663faab7ddf17a
and commit 5e2af1ba5408c3f9bbd255e815c5d7cc712400da
---
 .github/actions/bootstrap         |  7 -------
 .github/actions/deploy_docs       | 23 -----------------------
 .github/workflows/deploy_docs.yml | 20 --------------------
 3 files changed, 50 deletions(-)
 delete mode 100644 .github/actions/bootstrap
 delete mode 100644 .github/actions/deploy_docs
 delete mode 100644 .github/workflows/deploy_docs.yml

diff --git a/.github/actions/bootstrap b/.github/actions/bootstrap
deleted file mode 100644
index d28586fa09d..00000000000
--- a/.github/actions/bootstrap
+++ /dev/null
@@ -1,7 +0,0 @@
-#!/bin/bash
-
-set -e
-
-gem update --system --no-document
-gem update bundler --no-document
-bundle install --jobs 4 --retry 3
diff --git a/.github/actions/deploy_docs b/.github/actions/deploy_docs
deleted file mode 100644
index 48c6f7677ec..00000000000
--- a/.github/actions/deploy_docs
+++ /dev/null
@@ -1,23 +0,0 @@
-#!/bin/bash
-
-set -e
-
-bundle exec jekyll build -s docs -d docs/_site -Vt
-cd docs/_site
-touch .nojekyll
-remote_branch="gh-pages-trial"
-
-echo "Publishing to ${GITHUB_REPOSITORY} on branch ${remote_branch}"
-remote_repo="https://x-access-token:${JEKYLL_PAT}@github.com/${GITHUB_REPOSITORY}.git"
-
-git init -q
-git config user.name "${GITHUB_ACTOR}"
-git config user.email "${GITHUB_ACTOR}@users.noreply.github.com"
-git add .
-git commit -qm "[GH ACTIONS] Build triggered by ${GITHUB_SHA}"
-
-echo ""
-git push --force $remote_repo master:$remote_branch
-
-cd ../..
-exit 0
diff --git a/.github/workflows/deploy_docs.yml b/.github/workflows/deploy_docs.yml
deleted file mode 100644
index 8b8fffbbd8d..00000000000
--- a/.github/workflows/deploy_docs.yml
+++ /dev/null
@@ -1,20 +0,0 @@
-name: Build and deploy Jekyll documentation site
-on:
-  push:
-    branches:
-      - master
-jobs:
-  deploy_docs:
-    if: "!contains(github.event.commits[0].message, '[ci skip]')"
-    runs-on: 'ubuntu-latest'
-    steps:
-      - uses: actions/checkout@v2
-      - uses: actions/setup-ruby@v1
-        with:
-          ruby-version: 2.7.x
-      - name: Set up dependencies
-        run: bash .github/actions/bootstrap
-      - name: Build and Deploy
-        run: bash .github/actions/deploy_docs
-        env:
-          JEKYLL_PAT: ${{ secrets.GITHUB_TOKEN }}