On Thu, Dec 5, 2019 at 10:21 AM Daniel Beck <[email protected]> wrote:
> Obviously we cannot make people release from jenkinsci > Or rather; we could (e.g. by blacklisting the plugin and pulling permissions until it is addressed, not unlike what we'd do for license violations), but so far nobody has been willing to open that can of worms. FWIW, a related old discussion: https://github.com/jenkins-infra/repository-permissions-updater/pull/41 -- 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/CAMo7PtL6cdW%2BKRVeBDwMWXavZF33Mq%2Bu3302yZdCm0MDjdNBSA%40mail.gmail.com.
