Post a comment on new PRs asking whether they're an existing member of our server #1185
Description
Is your feature request related to a problem? Please describe.
Challenges finding user to tag during community posts after a release, although it's perfectly alright to contribute and not join the server but if they're present on our server it would be easier for community updates.
Describe the solution you'd like
I haven't dig deeper into this, one possible way im think is github actions could handy here. Goal is to somehow find out during development whether user is a member on our discord, if yes what's their username.