mirror of
https://github.com/RGBCube/color.v
synced 2025-07-30 17:37:45 +00:00
Use deploy keys instead of user token for pushing
This commit is contained in:
parent
223ad047b0
commit
82f9d3c78d
1 changed files with 6 additions and 1 deletions
7
.github/workflows/docs.yml
vendored
7
.github/workflows/docs.yml
vendored
|
@ -29,6 +29,11 @@ jobs:
|
|||
mkdir -p ./site/docs/color
|
||||
cp -r ./_docs/* ./site/docs/color/
|
||||
|
||||
- name: Add Private Key To SSH Agent
|
||||
uses: webfactory/ssh-agent@v0.7.0
|
||||
with:
|
||||
ssh-private-key: ${{ secrets.RGBCUBE_GITHUB_IO_PRIVATE_KEY }}
|
||||
|
||||
- name: Push Docs To GitHub
|
||||
continue-on-error: true
|
||||
run: |
|
||||
|
@ -39,4 +44,4 @@ jobs:
|
|||
|
||||
git add .
|
||||
git commit -m "Deploy color.v docs"
|
||||
git push https://RGBCube:${{ secrets.GH_TOKEN }}@github.com/RGBCube/rgbcube.github.io master
|
||||
git push git@github.com:RGBCube/rgbcube.github.io master
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue