PR #25772 [ty] Fix Reporter doc comment placement

[ty] Fix Reporter doc comment placement #25772

sharkdp merged 1 commit into main from codex/reporter-doc-comment

[ty] Fix Reporter doc comment placement

37904704

sharkdp added ty

sharkdp requested a review from

carljm 131 days ago

sharkdp requested a review from

AlexWaygood 131 days ago

sharkdp requested a review from

dcreager 131 days ago

sharkdp requested a review from

ibraheemdev 131 days ago

astral-sh-bot assigned

charliermarsh 131 days ago

astral-sh-bot requested a review from

charliermarsh 131 days ago

carljm approved these changes on 2026-06-09

sharkdp merged 3b420e60 into main 130 days ago

sharkdp deleted the codex/reporter-doc-comment branch 130 days ago

sharkdp added internal

Reviewers

carljm

AlexWaygood

dcreager

ibraheemdev

charliermarsh

Assignees

charliermarsh

Labels

internal ty

Milestone

No milestone