Files
documentation/site/_utils/deploy_gh_pages.sh
Lucy C 41de77f78e changes for converting from website to docs site (#188)
* changes for converting from website to docs site

* update staging deploy script and lock file

* update docsearch
2022-10-31 19:53:54 -06:00

19 lines
433 B
Bash
Executable File

#!/bin/bash
# Copy contents
mkdir gh-pages
cp -r ./docs/_build/dirhtml/. gh-pages
# Create gh-pages branch
cd gh-pages
git init
git config --local user.email "dev@start9.com"
git config --local user.name "Start9 Dev"
git remote add origin "https://x-access-token:${GITHUB_TOKEN}@github.com/${GITHUB_REPOSITORY}.git"
git checkout -b gh-pages
# Deploy
git add .
git commit -m "Publish docs" || true
git push origin gh-pages --force