synced/coder
1
0
Fork 0
mirror of https://github.com/coder/coder.git synced 2025-07-13 21:36:50 +00:00
Code Issues Packages Projects Releases Wiki Activity

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

Browse Source 
Follow up to https://github.com/coder/coder/pull/17029.
This commit is contained in:
Hugo Dutka
2025-03-21 13:31:17 +01:00
committed by GitHub
parent a71aa202dc
commit de6080c46d
4 changed files with 4 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

1
coderd/database/migrations/000304_github_com_user_id_comment.down.sql Normal file
View File

@ -0,0 +1 @@
COMMENT ON COLUMN users.github_com_user_id IS 'The GitHub.com numerical user ID. At time of implementation, this is used to check if the user has starred the Coder repository.';

1
coderd/database/migrations/000304_github_com_user_id_comment.up.sql Normal file
View File

@ -0,0 +1 @@
COMMENT ON COLUMN users.github_com_user_id IS 'The GitHub.com numerical user ID. It is used to check if the user has starred the Coder repository. It is also used for filtering users in the users list CLI command, and may become more widely used in the future.';