feat: add page for editing users (#23328)

This commit is contained in:
Kayla はな
2026-03-23 12:42:50 -06:00
committed by GitHub
parent 3b268c95d3
commit 4c9e37b659
18 changed files with 372 additions and 33 deletions
+1 -2
View File
@@ -1619,6 +1619,7 @@ CREATE VIEW group_members_expanded AS
users.name AS user_name,
users.github_com_user_id AS user_github_com_user_id,
users.is_system AS user_is_system,
users.is_service_account AS user_is_service_account,
groups.organization_id,
groups.name AS group_name,
all_members.group_id
@@ -1627,8 +1628,6 @@ CREATE VIEW group_members_expanded AS
JOIN groups ON ((groups.id = all_members.group_id)))
WHERE (users.deleted = false);
COMMENT ON VIEW group_members_expanded IS 'Joins group members with user information, organization ID, group name. Includes both regular group members and organization members (as part of the "Everyone" group).';
CREATE TABLE inbox_notifications (
id uuid NOT NULL,
user_id uuid NOT NULL,