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

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