When an horizontal group close its issue, notify the working group

[plehegar]

such as be leaving a comment on the associated issue.

[plehegar]

(proposed by @michael-n-cooper )

[r12a]

It may seem convenient if the WG repo received an automated message saying something like, "The HR group is no longer tracking this issue", however the tracking would actually continue as long as the HR label is in place, whether or not the issue is closed in the HR repo. To prevent notifications of changes to the discussion thread in the regular digests, it would actually be necessary to remove the *-tracker label. That, however, is probably not a good idea, since the conversation often continues a little after the WG has closed an issue, and since someone would need to remember to reinstate the label if the issue was reopened.

Btw, if the issue was subsequently reopened, you'd want to send a similar message, too.

However, if this is a *-needs-resolution issue, there probably ought to also be some indication about whether or not the HR group was satisfied, was postponing until later, or objecting. That is harder to automate.