Skip to content

chore(deps): bump follow-redirects from 1.15.4 to 1.15.6 in /docs #289

chore(deps): bump follow-redirects from 1.15.4 to 1.15.6 in /docs

chore(deps): bump follow-redirects from 1.15.4 to 1.15.6 in /docs #289

Workflow file for this run

name: Check Docs
on:
pull_request:
jobs:
check_changes:
runs-on: ubuntu-latest
outputs:
docs_changes: ${{ steps.check_file_changed.outputs.changed }}
steps:
- uses: actions/checkout@v3
with:
# Checkout as many commits as needed for the diff
fetch-depth: 2
# Generate docs
# Return true/false if docs are changed
- id: check_file_changed
run: |
./gendocs.sh
if git diff --name-only | grep -E "^docs|devspace-schema.json"; then
echo "{changed}={True}" >> $GITHUB_OUTPUT
else
echo "{changed}={False}" >> $GITHUB_OUTPUT
fi
check-docs:
runs-on: ubuntu-latest
needs: check_changes
if: needs.check_changes.outputs.docs_changes == 'True'
permissions:
pull-requests: write
steps:
- uses: mshick/add-pr-comment@v2
with:
allow-repeats: true
message: |
**Docs Update Needed!**
It seems like you need to run `gendocs.sh` in order to update the docs.
Please run this command and commit before merging.
Thanks!