Skip to content
Docs

docs: update docs workflow to push to docs repo instead (#439) #156

Sign in to view logs

docs: update docs workflow to push to docs repo instead (#439)

docs: update docs workflow to push to docs repo instead (#439) #156

Workflow file for this run

.github/workflows/docs.yaml at 38aeeca
name: Docs
on:
push:
branches:
- main
paths:
- "docs/**"
- ".github/workflows/docs.yaml"
jobs:
deploy:
runs-on: ubuntu-latest
steps:
- name: Checkout
uses: actions/checkout@v4
- name: Clone docs repository
run: git clone https://x-access-token:${{ secrets.GH_PAT_TOKEN }}@github.com/cosmology-tech/docs.git external-docs
- name: Sync the docs
run: |
rsync -av --delete ./docs/pages/ ./external-docs/pages/starship/
cd external-docs
git config user.name 'GitHub Action'
git config user.email '[email protected]'
git add .
if git diff --cached --quiet; then
echo "No changes to commit."
else
git commit -m "Aotumated: Update starship documentation from starship repo"
git push
fi