New patch submission process for non-contributors?

[Arvin Kangcheng Xu]

Thanks for the information Marcus and Jie! From now I'll submit
changes directly as PRs instead of posting to the mailing list.

And for clarification, when I said "former" in the original post, I
was actually meant to say "latter". :-)

Regards,

On Fri, 15 Nov 2019 at 11:19, Marcus Hirt <marcus.hirt at datadoghq.com> wrote:
>
> 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
> > >
> >
>