[HTTPS-Everywhere] Submitting patches - mail or pull?

[Stefan Tomanek]

Hello, I created a few patches to the Firefox plugin.
What is the preferred way to submit those?
I pushed the changes to separate branches on my github
account, is it enough to issue a pull request here, or
should I "git format" the changes and email them
somewhere (or here)?

Tweaks to the preferences dialog:
https://github.com/wertarbyte/https-everywhere/commits/preflist

Minor changes to the rules:
https://github.com/wertarbyte/https-everywhere/commits/rules