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

Push WPT sync changes to upstream instead of a fork.

Browse source
This commit is contained in:
Josh Matthews 2022-11-09 11:42:22 -05:00
parent 3687ebccc3
commit 9ca4e29088
1 changed files with 1 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

7
.github/workflows/wpt-nightly.yml vendored
View file

@ -122,9 +122,7 @@ jobs:
- name: Push changes
uses: ad-m/github-push-action@master
with:
github_token: ${{ secrets.GITHUB_TOKEN }}
branch: wpt_update_${{ env.CURRENT_DATE }}
repository: servo-wpt-sync/servo
- name: Open PR
env:
GH_TOKEN: ${{ secrets.WPT_SYNC_TOKEN }}
@ -136,8 +134,5 @@ jobs:
r? @servo-wpt-sync
EOF
)
git remote add sync-fork https://github.com/servo-wpt-sync/servo.git
git fetch sync-fork ${{ env.UPDATE_BRANCH }}
git checkout ${{ env.UPDATE_BRANCH }}
# TODO: comment `@bors-servo r+` from `@servo-wpt-sync`
gh pr create --title "Sync WPT with upstream (${{ env.CURRENT_DATE }})" --body "$BODY"
gh pr create --title "Sync WPT with upstream (${{ env.CURRENT_DATE }})" --body "$BODY" --head ${{ env.UPDATE_BRANCH }}