Skip to content

Conversation

quinn-gaoo
Copy link
Contributor

No description provided.

@quinn-gaoo quinn-gaoo linked an issue Sep 30, 2025 that may be closed by this pull request
@quinn-gaoo quinn-gaoo marked this pull request as ready for review October 9, 2025 07:12
@wliyongfeng wliyongfeng changed the title Add pinged comments should trigger in site notifications, #1245 Comments with ping should trigger in-site notifications, #1245 Oct 20, 2025
@wliyongfeng wliyongfeng changed the title Comments with ping should trigger in-site notifications, #1245 Comments with ping should trigger notifications, #1245 Oct 20, 2025
@wliyongfeng wliyongfeng merged commit 9bfead0 into main Oct 20, 2025
1 check passed
@wliyongfeng wliyongfeng deleted the 1245-pinged-comments-should-trigger-in-site-notifications branch October 20, 2025 03:53
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.

Pinged comments should trigger in-site notifications

2 participants