Skip to content

Point the profile metadata comment at the decision, not a follow-up - #145

Merged
davidtaing merged 1 commit into
mainfrom
chore/record-the-profile-card-decision
Aug 30, 2026
Merged

Point the profile metadata comment at the decision, not a follow-up#145
davidtaing merged 1 commit into
mainfrom
chore/record-the-profile-card-decision

Commits

Commits on Aug 30, 2026