Deliverables of the HTML Working Group
Commits twitter feed: @HTML_commits
Checking out the HTML spec
-
the HTML spec is on GitHub https://github.com/w3c/html
-
there are multiple branches - get master to build the spec
Pull the code from GitHub:
$ git clone https://git@github.com/w3c/html.git
$ cd html
$ git checkout -b whatwg origin/feature/whatwg
To check what branches you have:
$ git branch
To continue editing at a later stage:
$ git checkout master
$ git pull --rebase
Then check out each branch and:
$ git rebase master
To commit and push code to GitHub:
$ git commit -a
$ git push
HTML version of flowchart image
If you're editing the spec on Windows, be sure to read up on how to deal with line endings.
You'll probably want to configure Git to automatically rebase on pull.
To do this, edit .git/config
in your repository. In the
[branch "master"]
section, add a rebase = true
line. To ensure
this happens for any new branches you create, add a new section like so:
[branch]
autosetuprebase = always
-
You need to have python installed on your system.
-
Install Anolis:
$ hg clone https://bitbucket.org/ms2ger/anolis $ cd anolis; sudo python setup.py install
Periodically, make sure your Anolis is up to date:
$ cd anolis $ hg pull
If there have been changes, update and reinstall:
$ hg update $ sudo python setup.py install
-
Install html5lib:
$ hg clone https://code.google.com/p/html5lib/ $ cd html5lib/python; sudo python setup.py install
Periodically, make sure your html5lib is up to date:
$ cd html5lib $ hg pull
If there have been changes, update and reinstall:
$ hg update $ cd python; sudo python setup.py install
-
Install lxml:
$ sudo easy_install lxml
-
Ensure you have a clone of the html-tools downloaded.
Please check out and follow the repository at https://github.com/w3c/html-tools .
- the WHATWG spec is developed in SVN at the WHATWG
- there is a git clone of it on GitHub https://github.com/w3c/html/tree/feature/whatwg
- we cherry-pick commits from the WHATWG spec into the html spec
Checkout the WHATWG spec:
$ git checkout feature/whatwg
Find out commit differences to html branch:
$ git cherry master
Find a commit that you want to apply, get it’s SHA:
$ git log
Show the SHA commit e.g.:
$git show 56446c4536af1ec5b39bde03b402d0772625fd92
Checkout the html spec:
$ git checkout master
Cherry pick the commit selected from before:
$ git cherry-pick -x 56446c4536af1ec5b39bde03b402d0772625fd92
If you want to edit the commit:
$ git cherry-pick -x -e 56446c4536af1ec5b39bde03b402d0772625fd92
Show changes to GitHub:
$ git diff origin
If you want to abort a cherry-pick:
$ git cherry-pick --abort
If you need a merge strategy:
$ git cherry-pick --strategy=ours -x 56446c4536af1ec5b39bde03b402d0772625fd92
Only pick parts of the commit (no-commit, then add selectively):
$ git cherry-pick -n -x 56446c4536af1ec5b39bde03b402d0772625fd92
$ git add -i
r = revert a file
p = go through by hunk and re-patch
(when “>>” hit ENTER to start)
q = bye
To just commit the staged parts:
$ git commit
To reset the unselected hunks:
$ git checkout complete.html index source
Check if a specific commit is contained in the master:
$ git checkout master
$ git branch --contains 56446c4536af1ec5b39bde03b402d0772625fd92
[make sure your .gitconfig defaults push to upstream]
$ git checkout master
$ git checkout -b feature/blah
$ git push --set-upstream origin feature/blah
You should not use the GitHub pull request merge feature, but instead rebase locally and push (to avoid a messy merge and get a linear history):
$ git checkout feature/blah
$ git rebase master
Test everything still works, then push to GitHub:
$ git push -f
Then merge on master:
$ git checkout master
$ git merge feature/blah
$ git push
If you want to delete the branch, too, remove it both on local and GitHub (the issue with the pull request will continue to exist):
$ git branch -d feature/blah
$ git push origin :feature/blah