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