Well I've created a separate repo for HTMLAttributes, forked from package_control_channel and amended repositories.json to refer to my repo.
I tried 'Pull Request' (from within my repositories.json location) but the green request button seems inactive. I must be missing something..?
Do I need to commit/push my editing of repositories.json? I just edited the raw file from within my GitHub.
Should I click Pull Request when I'm within wbond's repo-area?
Edited: I managed to send the pull request.. suppose I'll find out if I've done it correctly at some point