[whatwg] Pull requests for HTML5 spec?

[Michael Day]

Hi Silvia,

> If you want to contribute to the WHATWG spec, you should register a
> bug on https://www.w3.org/Bugs/Public/describecomponents.cgi?product=WHATWG
> . WHATWG patches eventually get cherry-picked into the W3C spec, too,
> unless there is strong opposition in the HTML WG.

If the WHATWG spec is hosted on Subversion, I guess that means pull 
requests to that branch on Github will be ignored?

Best regards,

Michael

-- 
Prince: Print with CSS!
http://www.princexml.com