Skip to content

Conversation

@gewarren
Copy link
Contributor

@gewarren gewarren commented Oct 23, 2024

@gewarren
Copy link
Contributor Author

So it seems that having requestReview in the policy (which didn't work) prevented mentionUser from working.

@gewarren gewarren closed this Oct 23, 2024
@gewarren gewarren deleted the gewarren-patch-8 branch October 23, 2024 15:58
@gewarren
Copy link
Contributor Author

This is weird - there was a comment @mentioning Dina yesterday, but now it is gone!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants