Skip to content

fix(issues): allow local issues create/add_message without a Bearer token (#1842) #160

fix(issues): allow local issues create/add_message without a Bearer token (#1842)

fix(issues): allow local issues create/add_message without a Bearer token (#1842) #160

name: Docs PR preview cleanup
on:
pull_request:
types:
- closed
paths:
- "docs/**"
- "frontend/src/site/**"
- "frontend/public/**"
- "public/**"
- "scripts/build_github_pages_site.tsx"
permissions:
contents: read
jobs:
cleanup:
runs-on: ubuntu-latest
steps:
- name: Checkout neotoma-dev-site gh-pages branch
uses: actions/checkout@v4
with:
token: ${{ secrets.DEV_PAGES_DEPLOY_TOKEN }}
repository: markmhendrickson/neotoma-dev-site
ref: gh-pages
- name: Remove PR preview directory
run: |
PR=${{ github.event.pull_request.number }}
if [ -d "pr-${PR}" ]; then
git config user.name "github-actions[bot]"
git config user.email "github-actions[bot]@users.noreply.github.com"
git rm -rf "pr-${PR}"
git commit -m "Remove PR #${PR} preview"
git push
else
echo "No preview directory found for PR #${PR}, nothing to clean up."
fi