Skip to content

chore: drop personal names from source — cross-ref by issue number#233

Merged
gerchowl merged 2 commits into
mainfrom
chore/source-rename-drop-personal-names
May 8, 2026
Merged

chore: drop personal names from source — cross-ref by issue number#233
gerchowl merged 2 commits into
mainfrom
chore/source-rename-drop-personal-names

chore: drop the last 4 personal-name mentions (audit follow-up)

2ba378b
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
PR Hygiene
succeeded May 8, 2026 in 5s