On Tue, Jan 4, 2022 at 12:40 PM Basil Crow <m...@basilcrow.com> wrote:
> I think the needs of the Jenkins project would be best served if we had > the ability to merge and release PRs for those odds and ends, but this > isn't simple to arrange because they generally live in Kohsuke's own > GitHub organization rather than ours. > https://docs.google.com/document/d/1GRwJCfybnW8X273cPhOc2q4kdpqocX2zm_857DBGCY8/edit#heading=h.5vguh37qr0en FYI -- 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/CANfRfr0o9pa-TNUNB6vhmTJjPXgdjCD2xbkMv5efkXhvA7mJaw%40mail.gmail.com.
