[infra] Adds reusable workflow for closing messages

[michelengelen]

related issue: mui/mui-public#156

[Janpot]

Not looking forward to getting an extra unnecessary notification in my inbox for every closed issue 🙂

[michelengelen]

Not looking forward to getting an extra unnecessary notification in my inbox for every closed issue 🙂

you won't get that! It specifically looks for maintainer rights and if thats the case you aren't being tagged on the message! :D

[Janpot]

@michelengelen What I meant was for example: I closed this issue. Which doesn't generate a notification. But then I still get pinged 1 minute later for the closing message. I'm subscribed to the issue, so I get notifications, even if I'm not tagged.

[michelengelen]

@michelengelen What I meant was for example: I closed this issue. Which doesn't generate a notification. But then I still get pinged 1 minute later for the closing message. I'm subscribed to the issue, so I get notifications, even if I'm not tagged.

Well, yeah ... that one is unfortunately necessary for this... its more a fault of how github handles notifications and so on though ... there is very little customizability for notifications in place

[oliviertassinari]

@Janpot Right, so it does this:

I think a Gmail filter does the trick. Guide updated: https://www.notion.so/mui-org/GitHub-guide-a2d05d63152244cfa568927deb34b25b?pvs=4#103cbfe7b66080758757c4e30bb6f9f1. I have implemented it on my end.