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

Update web-platform-tests to revision 0a45e9baf952da4787f81ca93d34dfad3ca24d33

Browse source
This commit is contained in:
WPT Sync Bot 2020-10-21 08:19:33 +00:00
parent 1d217b7f0f
commit 5097f12054
108 changed files with 1154 additions and 315 deletions
Download patch file Download diff file Expand all files Collapse all files

11
tests/wpt/web-platform-tests/docs/writing-tests/github-intro.md
View file

@ -83,6 +83,10 @@ which is commonly referred to as the "upstream" repository. Synchronizing your
forked repository with the upstream repository will keep your forked local copy
up-to-date with the latest commits.
In the vast majority of cases, the **only** upstream branch that you should
need to care about is `master`. If you see other branches in the repository,
you can generally safely ignore them.
1. On the command line, navigate to to the directory where your forked copy of
the repository is located.
@ -99,13 +103,16 @@ up-to-date with the latest commits.
4. To pull in changes in the original repository that are not present in your
local repository first fetch them:
$ git fetch upstream
$ git fetch -p upstream
Then merge them into your local repository:
$ git merge upstream/master
For additional information, please see the [GitHub docs][github-fork-docs].
We recommend using `-p` to "prune" the outdated branches that would
otherwise accumulate in your local repository.
For additional information, please see the [GitHub docs][github-fork-docs].
## Configure your environment