8000 chore: update comment on the users.github_com_user_id field by hugodutka · Pull Request #17037 · coder/coder · GitHub
[go: up one dir, main page]
Skip to content

chore: update comment on the users.github_com_user_id field#17037

Merged
hugodutka merged 2 commits intomainfrom
hugodutka/github-com-user-id-comment
Mar 21, 2025
Merged

chore: update comment on the users.github_com_user_id field#17037
hugodutka merged 2 commits intomainfrom
hugodutka/github-com-user-id-comment

Commits

Commits on Mar 21, 2025
0