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.

Reply via email to