Rename pushwiki to pushwiki.yml

This commit is contained in:
Jay Lee
2025-04-09 14:14:58 -04:00
committed by GitHub
parent cd9bdb3311
commit e56574bb67

36
.github/workflows/pushwiki.yml vendored Normal file
View File

@@ -0,0 +1,36 @@
name: Push wiki
permissions:
contents: read
on:
push:
paths:
- 'wiki/**'
jobs:
pushwiki:
runs-on: ubuntu-latest
steps:
- uses: actions/checkout@master
with:
persist-credentials: false # otherwise, the token used is the GITHUB_TOKEN, instead of your personal token
fetch-depth: 0 # otherwise, you will failed to push refs to dest repo
- name: Clone the wiki repo
run: |
git config --local user.email "action@github.com"
git config --local user.name "GitHub Action"
git clone https://github.com/GAM-team/GAM.wiki.git
- name: Overwrite all wiki files from main git to wiki git
run: |
# remove all wiki repo files so deletes work
rm -fv GAM.wiki/*.md
# copy all files from git repo wiki folder
cp -fv wiki/*.md GAM.wiki/
- name: Commit wiki changes
run: |
cd GAM.wiki
git add *.md
git commit -m "[no ci] Push Wiki changes"
git status
# git push