New patch submission process for non-contributors?

[Marcus Hirt]

I'd prefer if we try to endorse just doing a PR on GitHub.

Kind regards,
Marcus

On Fri, Nov 15, 2019 at 5:17 PM Jie Kang <jkang at redhat.com> wrote:
>
> Hi Arvin,
>
> I believe both workflows are supported. More information on workflows
> can be found here:
> https://wiki.openjdk.java.net/display/skara#Skara-Workflows
>
>
> Regards,
> Jie Kang
>
> On Fri, Nov 15, 2019 at 10:46 AM Arvin Kangcheng Xu <kxu at redhat.com> wrote:
> >
> > 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
> >
>