Heads up: repository move

Hi all,

as discussed previously we're heading towards using a single repository 
that includes more than just the HTML tests. One of the stesp to get 
there is to rename it.

This is happening *now*. The new name is "web-platform-tests".

If you have links to https://github.com/w3c/html-testsuite you will need 
to update them to https://github.com/w3c/web-platform-tests.

If you have a checked out copy of the repository, you don't need to 
change its name (it doesn't matter) but you will need to change the 
remote. Try this:

   git remote -v

It should give you something like:

   origin	git@github.com:w3c/html-testsuite.git (fetch)
   origin	git@github.com:w3c/html-testsuite.git (push)

You want to take one of the strings above, replace html-testsuite with 
web-platform-tests, and run:

   git remote set-url origin git@github.com:w3c/web-platform-tests.git

At that point, all should be good!

-- 
Robin Berjon - http://berjon.com/ - @robinberjon