Mirrors/servo
1
0
Fork 0
mirror of https://github.com/servo/servo.git synced 2025-08-06 14:10:11 +01:00
Code Issues Projects Releases Packages Wiki Activity

Use master branch for github docs push.

Browse source
This commit is contained in:
Josh Matthews 2021-05-25 11:05:42 -04:00
parent d75150b162
commit 96315e0193
1 changed files with 2 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
.github/workflows/docs.yml vendored
View file

@ -29,7 +29,7 @@ jobs:
git add . git add .
git -c user.name="Workflow" -c user.email="" \ git -c user.name="Workflow" -c user.email="" \
commit -q -m "Rebuild Servo documentation" commit -q -m "Rebuild Servo documentation"
git remote set-url origin https://git:${DOC_SERVO_ORG}@github.com/servo/doc.servo.org git remote add origin https://git:${DOC_SERVO_ORG}@github.com/servo/doc.servo.org
git push --force origin FETCH_HEAD:gh-pages git push --force origin master:gh-pages
env: env:
DOC_SERVO_ORG: ${{ secrets.DOC_SERVO_ORG }} DOC_SERVO_ORG: ${{ secrets.DOC_SERVO_ORG }}