> On 31. Jan 2019, at 21:09, Baptiste Mathus <m...@batmat.net> wrote:
>
> We actually don't usually assign admin permissions on repos to maintainers.
> And for one, I don't have personally the necessary karma to do this anyway.
> If you need to add members with merge permissions, I'd suggest just listing
> them here and we can add them through the usual process in the go.
>
I changed the team to 'admin' permissions (although I am _really_ curious why
those should be needed to release things -- weird release automation that needs
deploy keys?)
FWIW a long time ago we limited granted permissions because some of the admin
operations were destructive (some of the 'danger zone' stuff). Since GitHub now
allows us to restrict availability of those even to repo admins, we now grant
admin by default -- it's just that many teams are still set to 'write' from
years ago.
--
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 jenkinsci-dev+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/jenkinsci-dev/3DD3FFC5-B76D-4805-9C1A-92EE23D5CB84%40beckweb.net.
For more options, visit https://groups.google.com/d/optout.
