gbdev/rgbds
1
0
Fork 0
mirror of https://github.com/gbdev/rgbds.git synced 2025-11-28 05:47:48 +00:00
Code Issues Packages Projects Releases Wiki Activity

Fix docs update action

Browse Source 
Make script executable (facepalm)
Fix `run**s**-on` typo
Add key using ssh-agent
Force using SSH for pushing back
This commit is contained in:
ISSOtm
2020-09-15 15:57:20 +02:00
parent bb6a5441ed
commit 0cc9026978
2 changed files with 9 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

0
.github/actions/get-pages.sh vendored Normal file → Executable file
View File

11
.github/workflows/update-master-docs.yml vendored
View File

@@ -16,7 +16,7 @@ on:
jobs: jobs:
build: build:
run-on: ubuntu-18.04 runs-on: ubuntu-18.04
steps: steps:
- name: Checkout rgbds@master - name: Checkout rgbds@master
uses: actions/checkout@v2 uses: actions/checkout@v2
@@ -44,8 +44,15 @@ jobs:
mkdir -p -m 700 ~/.ssh mkdir -p -m 700 ~/.ssh
echo "${{ secrets.SSH_KEY_SECRET }}" > ~/.ssh/id_ed25519 echo "${{ secrets.SSH_KEY_SECRET }}" > ~/.ssh/id_ed25519
chmod 0600 ~/.ssh/id_ed25519 chmod 0600 ~/.ssh/id_ed25519
eval $(ssh-agent -s)
ssh-add ~/.ssh/id_ed25519
git config --global user.name "GitHub Action" git config --global user.name "GitHub Action"
git config --global user.email "community@gbdev.io" git config --global user.email "community@gbdev.io"
git add . git add .
git commit -m "Update RGBDS master documentation" git commit -m "Update RGBDS master documentation"
git push if git remote | grep -q origin; then
git remote set-url origin git@github.com:gbdev/rgbds-www.git
else
git remote add origin git@github.com:gbdev/rgbds-www.git
fi
git push origin master