> On 30. Aug 2018, at 23:23, Craig Rodrigues <[email protected]> wrote:
>
> I'd rather leave JEP 11 at that.
The JEP as is does not address the multiple concerns regarding suitability for
its stated purpose that were raised in this thread. While there's some
additional process around adoption that we're basically able to freely change,
we've long established a process around maintainership changes of any kind, and
that is completely omitted.
jenkins-infra/repository-permissions-updater ("r-p-u") is a _necessary_ part of
changing plugin maintainership. In fact, if current and future maintainers are
in contact, it's the _only_ part that's required, as it is where upload
permissions are defined. Someone declaring something done in Jira means
absolutely nothing in terms of anyone being able to release something. So
you're not actually sparing prospective maintainers from this part of the
change by omitting it.
We basically have two choices here:
* Make r-p-u the entry point and reference for taking over maintainership.
* Make a Jira issue the entry point, and r-p-u the reference.
The latter appears to have the (IMO questionable) benefit of going through an
issue tracker, at the cost of introducing potential discrepancies with the
primary maintainership reference (for example, when a plugin changed hands).
The option you appear to prefer, "Jira without r-p-u Git repo", is not actually
feasible: As I explained above, the _only_ mandatory task in transferring
maintainership is changing upload permissions, and that is currently missing
from both the core process and the post-adoption tasks.
Now, I've already acknowledged it's probably more difficult to get changes in
there than it needs to be. I'd be happy to look into suggestions for
improvements. But it's been around for several years, and several hundred
people have still managed to get their changes in -- and the vast majority of
problems could be tracked back to not having read the PR checklist properly.
--
You received this message because you are subscribed to the Google Groups
"Jenkins Developers" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
To view this discussion on the web visit
https://groups.google.com/d/msgid/jenkinsci-dev/6E04B81A-F4A7-435A-84D0-A08E62046D3D%40beckweb.net.
For more options, visit https://groups.google.com/d/optout.
