Revert merge of #8126 [skip ci]

This reverts commit ab8c4b9b50
and commit 5e2af1ba54

.github/actions/bootstrap

@@ -1,7 +0,0 @@
-#!/bin/bash
-
-set -e
-
-gem update --system --no-document
-gem update bundler --no-document
-bundle install --jobs 4 --retry 3

.github/actions/deploy_docs

@@ -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

.github/workflows/deploy_docs.yml

@@ -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 }}