Sure. That does sound like the next step indeed. I did advise to come through here just in case we've missed a use case for it. INFRA tickets get much less scrutiny.
Thanks! Le lun. 2 nov. 2020 à 16:17, Jesse Glick <[email protected]> a écrit : > On Mon, Nov 2, 2020 at 6:29 AM [email protected] > <[email protected]> wrote: > > I suggest archiving it. > > Just file an `INFRA` ticket in the `github` component. > > -- > 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/CANfRfr2iPBueHS0OsgUQKHVmD%2BLOvwmedSqZx5FJMn%2B3BZmsDQ%40mail.gmail.com > . > -- 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/CANWgJS5hLE0EGUHaMuQk%2BkDkAooRXQxC7%3DVchXkVHK5TboYDBA%40mail.gmail.com.
