mirror of
https://github.com/acamarata/fajr-watch.git
synced 2026-06-30 18:54:27 +00:00
ci: add wiki sync workflow + untrack AGENTS.md (AI working memory, not source code)
This commit is contained in:
parent
27982c8a8d
commit
04775eed54
2 changed files with 43 additions and 1 deletions
|
|
@ -1 +0,0 @@
|
|||
CLAUDE.md
|
||||
43
.github/workflows/wiki-sync.yml
vendored
Normal file
43
.github/workflows/wiki-sync.yml
vendored
Normal file
|
|
@ -0,0 +1,43 @@
|
|||
name: Sync Wiki
|
||||
|
||||
on:
|
||||
push:
|
||||
branches: [main]
|
||||
paths: [".github/wiki/**"]
|
||||
workflow_dispatch:
|
||||
|
||||
permissions:
|
||||
contents: write
|
||||
|
||||
jobs:
|
||||
sync:
|
||||
runs-on: ubuntu-latest
|
||||
steps:
|
||||
- name: Checkout repository
|
||||
uses: actions/checkout@v4
|
||||
|
||||
- name: Checkout wiki
|
||||
id: clone_wiki
|
||||
run: |
|
||||
if git clone "https://x-access-token:${{ github.token }}@github.com/${{ github.repository }}.wiki.git" .wiki-remote 2>&1; then
|
||||
echo "wiki_exists=true" >> "$GITHUB_OUTPUT"
|
||||
else
|
||||
echo "wiki_exists=false" >> "$GITHUB_OUTPUT"
|
||||
echo "Wiki not yet initialized; skipping sync. Initialize via GitHub web UI first."
|
||||
fi
|
||||
|
||||
- name: Sync wiki pages
|
||||
if: steps.clone_wiki.outputs.wiki_exists == 'true'
|
||||
run: |
|
||||
cp .github/wiki/*.md .wiki-remote/
|
||||
cd .wiki-remote
|
||||
git config user.name "github-actions[bot]"
|
||||
git config user.email "github-actions[bot]@users.noreply.github.com"
|
||||
git add -A
|
||||
if git diff --cached --quiet; then
|
||||
echo "No wiki changes to commit"
|
||||
else
|
||||
git commit -m "Sync wiki from repo"
|
||||
git push origin HEAD:master
|
||||
fi
|
||||
|
||||
Loading…
Reference in a new issue