The HTML specification is kept in version control on this server: svn.whatwg.org/webapps

A Web interface is available at: http://html5.org/tools/web-apps-tracker

This server has aggressive DOS protections. If you receive a password prompt, please contact <ian@hixie.ch> and let me know from which IP address you were attempting to access the server, so that I can unblock you.

Other WHATWG specs are kept in Github: https://github.com/whatwg