mirror of
https://github.com/prompt-security/clawsec.git
synced 2026-06-21 17:31:22 +03:00
dependabot[bot]
bc563f0b3e
Bumps [actions/checkout](https://github.com/actions/checkout) from 6.0.2 to 6.0.3. - [Release notes](https://github.com/actions/checkout/releases) - [Changelog](https://github.com/actions/checkout/blob/main/CHANGELOG.md) - [Commits](https://github.com/actions/checkout/compare/de0fac2e4500dabe0009e67214ff5f5447ce83dd...df4cb1c069e1874edd31b4311f1884172cec0e10) --- updated-dependencies: - dependency-name: actions/checkout dependency-version: 6.0.3 dependency-type: direct:production update-type: version-update:semver-patch ... Signed-off-by: dependabot[bot] <support@github.com>
74 lines
2.2 KiB
YAML
74 lines
2.2 KiB
YAML
name: Sync Wiki
|
|
|
|
on:
|
|
push:
|
|
branches: [main]
|
|
paths:
|
|
- 'wiki/**'
|
|
workflow_dispatch:
|
|
|
|
permissions:
|
|
contents: write
|
|
|
|
concurrency:
|
|
group: wiki-sync
|
|
cancel-in-progress: false
|
|
|
|
jobs:
|
|
sync-wiki:
|
|
runs-on: ubuntu-latest
|
|
steps:
|
|
- name: Checkout
|
|
uses: actions/checkout@df4cb1c069e1874edd31b4311f1884172cec0e10 # v6.0.3
|
|
|
|
- name: Sync wiki folder to repository wiki
|
|
env:
|
|
GITHUB_TOKEN: ${{ secrets.GITHUB_TOKEN }}
|
|
run: |
|
|
set -euo pipefail
|
|
|
|
if [ ! -d wiki ]; then
|
|
echo "::error::wiki/ directory not found"
|
|
exit 1
|
|
fi
|
|
|
|
# GitHub Wiki root (/wiki) renders Home.md, not INDEX.md.
|
|
# INDEX.md is the canonical source; generate Home.md from it.
|
|
if [ ! -f wiki/INDEX.md ]; then
|
|
echo "::error::wiki/INDEX.md not found. It is required to generate wiki/Home.md."
|
|
exit 1
|
|
fi
|
|
cp wiki/INDEX.md wiki/Home.md
|
|
|
|
WIKI_REMOTE="https://x-access-token:${GITHUB_TOKEN}@github.com/${{ github.repository }}.wiki.git"
|
|
if ! git ls-remote "$WIKI_REMOTE" >/dev/null 2>&1; then
|
|
echo "::warning::Wiki remote unavailable (repository wiki may be disabled). Skipping sync."
|
|
exit 0
|
|
fi
|
|
|
|
WIKI_TMP="$(mktemp -d)"
|
|
trap 'rm -rf "$WIKI_TMP"' EXIT
|
|
|
|
git clone --depth 1 "$WIKI_REMOTE" "$WIKI_TMP"
|
|
rsync -a --delete --exclude '.git/' wiki/ "$WIKI_TMP/"
|
|
|
|
cd "$WIKI_TMP"
|
|
if [ -z "$(git status --porcelain)" ]; then
|
|
echo "No wiki changes to sync."
|
|
exit 0
|
|
fi
|
|
|
|
WIKI_HEAD_REF="$(git symbolic-ref --short refs/remotes/origin/HEAD 2>/dev/null || true)"
|
|
if [ -n "$WIKI_HEAD_REF" ]; then
|
|
WIKI_BRANCH="${WIKI_HEAD_REF#origin/}"
|
|
else
|
|
WIKI_BRANCH="master"
|
|
fi
|
|
|
|
git config user.name "github-actions[bot]"
|
|
git config user.email "41898282+github-actions[bot]@users.noreply.github.com"
|
|
git add -A
|
|
git commit -m "docs(wiki): sync from ${GITHUB_SHA}"
|
|
# Clone may sanitize credentials from origin URL; push with explicit auth URL.
|
|
git push "$WIKI_REMOTE" HEAD:"$WIKI_BRANCH"
|