Fix #444: mentionTok bare usernames #452
No reviewers
Labels
No labels
actions
bug
cli
duplicate
enhancement
fork
forum
git storage
help wanted
insights
invalid
issues
moderation
oidc
ownership transfer
packages
pr/merge protection rules
projects
pull requests
question
releases
sponsorships
tags
webhooks
wiki
wontfix
No milestone
No project
No assignees
1 participant
Notifications
Due date
No due date set.
Dependencies
No dependencies set
Reference
crueber/walhub!452
Loading…
Reference in a new issue
No description provided.
Delete branch "fix/issue-444"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Decision (a): extend the server mention grammar to bare @usernames instead of narrowing the renderer. The #440 renderer already links bare @username tokens, so they rendered as profile links yet emitted NO notification — this change restores render/notify parity from the server side.
Scope (emitters unchanged in shape):
Verification: gofmt clean, go vet clean, -race green for identity/issues/pulls/review/notify, coverage identity 95.7% / issues 96.3% (gate >=95%), node suites green (mentions 18/18; markdown+md-urls+refs-autolink+blob-md 60/60; render/notify-adjacent battery 107/107). No new deps. No browser (no browser-facing change; task notes browser open explicitly). Fixes #444.