Skip to content

Commit 110f188

Browse files
committed
Sync README.md to wiki
1 parent 99de6a9 commit 110f188

File tree

1 file changed

+22
-25
lines changed

1 file changed

+22
-25
lines changed
+22-25
Original file line numberDiff line numberDiff line change
@@ -1,37 +1,34 @@
1-
name: Update Wiki
1+
name: Sync README to Wiki
22

33
on:
44
push:
55
branches:
66
- main
77

88
jobs:
9-
update-wiki:
9+
sync-readme:
1010
runs-on: ubuntu-latest
11-
steps:
12-
- name: Checkout the repo
13-
uses: actions/checkout@v3
14-
15-
- name: Set the wiki URL and the wiki README file path
16-
run: |
17-
WIKI_URL="https://github.com/$GITHUB_REPOSITORY.wiki.git"
18-
README_FILE="README.md"
19-
WIKI_README_FILE="Home.md"
2011

21-
mkdir wiki
22-
cd wiki
23-
git clone $WIKI_URL .
12+
steps:
13+
- name: Checkout base code
14+
uses: actions/checkout@v2
15+
with:
16+
path: base-code
2417

25-
- name: Set up Git user
26-
run: |
27-
git config --global user.email "[email protected]"
28-
git config --global user.name "Julian Prieber"
18+
- name: Checkout wiki code
19+
uses: actions/checkout@v2
20+
with:
21+
repository: ${{ github.repository }}.wiki
22+
path: wiki
2923

30-
- name: Copy README to wiki
31-
run: cp ../$README_FILE $WIKI_README_FILE
24+
- name: Copy README.md to wiki
25+
run: |
26+
cp base-code/README.md wiki/README.md
3227
33-
- name: Commit and push changes
34-
run: |
35-
git add $WIKI_README_FILE
36-
git commit -m "Update Wiki README from main README" || echo "No changes to commit"
37-
git push
28+
- name: Push to wiki
29+
run: |
30+
cd wiki
31+
git config --local user.email "[email protected]"
32+
git config --local user.name "Julian Prieber"
33+
git add README.md
34+
git diff-index --quiet HEAD || git commit -m "Sync README.md to wiki" && git push

0 commit comments

Comments
 (0)