Skip to content

Merge pull request #306 from tr7zw/dependabot/maven/org.apache.maven.… #180

Merge pull request #306 from tr7zw/dependabot/maven/org.apache.maven.…

Merge pull request #306 from tr7zw/dependabot/maven/org.apache.maven.… #180

Workflow file for this run

name: Wiki CI
on:
push:
branches:
- master
permissions:
contents: write
jobs:
wiki:
if: ${{ github.repository_owner == 'tr7zw' }}
runs-on: ubuntu-latest
steps:
- name: Checkout base code
uses: actions/checkout@v3
with:
path: base-code
- name: Checkout wiki code
uses: actions/checkout@v3
with:
repository: ${{github.repository}}.wiki
path: wiki
- name: Push to wiki
run: |
cd wiki
rm *.md
cp ../base-code/wiki/* ./
git config --local user.email "[email protected]"
git config --local user.name "GitHub Action"
git add .
git diff-index --quiet HEAD || (git commit -m "Add changes" && git push)