maintainers detected but not pinged? about ofborg HOT 2 OPEN

Yes, GitHub only allows to ping 15 people

from ofborg.

That's good to know... I only see 9 people in Cc on that ticket, but regardless of that particular limit would it be possible/make sense to just send a message with @ for people over the limit?

Rephrasing just to make sure I'm clear:

• make list of maintainers as currently
• only add people as maintainer like right now for the first x (not fussy on order, I assume there's already one)
• add a comment Notifying extra maintainers involved: @alice @bob [...] for others

In most cases I assume that'd make no difference but it'd avoid having a surprise when something is broken after an upgrade a maintainer isn't even aware of, and that'd be appreciated :)

from ofborg.