2023-08-29 07:44:54 +00:00
|
|
|
name: Update-ReadTheDocs
|
|
|
|
|
|
|
|
on:
|
2023-08-29 08:13:43 +00:00
|
|
|
gollum
|
|
|
|
# push:
|
|
|
|
# branches:
|
|
|
|
# - main
|
|
|
|
# paths:
|
2023-08-29 08:40:17 +00:00
|
|
|
# - 'wiki-rtd'
|
2023-08-29 08:13:43 +00:00
|
|
|
# pull_request:
|
|
|
|
# branches:
|
|
|
|
# - main
|
|
|
|
# paths:
|
2023-08-29 08:40:17 +00:00
|
|
|
# - 'wiki-rtd'
|
2023-08-29 08:13:43 +00:00
|
|
|
# workflow_dispatch:
|
2023-08-29 07:44:54 +00:00
|
|
|
|
|
|
|
|
|
|
|
jobs:
|
|
|
|
|
|
|
|
Job1_-_Building_P1:
|
|
|
|
runs-on: ubuntu-latest
|
|
|
|
steps:
|
|
|
|
|
2023-08-29 07:48:30 +00:00
|
|
|
- uses: actions/checkout@v3
|
|
|
|
|
2023-08-29 08:40:17 +00:00
|
|
|
- name: Update ReadTheDocs wiki-rtd
|
|
|
|
id: wiki-rtd-update
|
2023-08-29 07:44:54 +00:00
|
|
|
run: |
|
2024-08-01 15:57:19 +00:00
|
|
|
git checkout https://github.com/RetroDECK/RetroDECK.wiki-rtd.git tmp/wiki-rtd
|
2023-08-29 08:40:17 +00:00
|
|
|
cp -rf tmp/wiki-rtd/* wiki-rtd
|
2023-08-29 08:57:17 +00:00
|
|
|
rm wiki-rtd/index.md
|
|
|
|
mv wiki-rtd/Home.md wiki-rtd/index.md
|
2023-08-29 08:40:17 +00:00
|
|
|
git commit -m "Updating wiki-rtd"
|
2023-08-29 07:44:54 +00:00
|
|
|
git push
|