In my view, the difference between accepting a PR into GitHub versus into
OpenJFX is probably mainly time-based. When there is an agreement about a
PR, it can be merged in GitHub, but there are more steps required (webrev)
before it can formally be pushed into OpenJFX, so the reviewer may choose
In my opinion we need a bot that does a few things to automate the GitHub
to OpenJFX contribution workflow.
One of those things is we can, upon getting a new pull request from someone
we haven't seen before, go over the OCA list and see if a username matches
their Github username. If it does, the