New patch submission process for non-contributors?

[Arvin Kangcheng Xu]

Hello all,

After switched JMC development to GitHub, what is the new process is
for a participant, who is not a contributor, to submit simple patches,
and make other small contributions?

Do we still post a patch file to the mail list and wait for a
committer to push to the repository? Or, do we directly submit pull
requests on GitHub? Personally speaking, the former one sounds more
ideal as GitHub PRs provide an easier and more manageable way to
review and update patches. Thank you!

Kind Regards,
Kangcheng