ALTER TABLE users ADD COLUMN github_com_user_id BIGINT;

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.';