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 