Some checks failed
Deploy analytics worker / Deploy analytics worker to ${{ (github.ref == 'refs/heads/production' && 'production') || (github.ref == 'refs/heads/main' && 'staging') || 'preview' }} (push) Failing after 1s
i18n upload strings / Upload latest strings (push) Failing after 1s
Deploy bemo / Deploy bemo to ${{ (github.ref == 'refs/heads/bemo-production' && 'production') || (github.ref == 'refs/heads/main' && 'staging') || 'preview' }} (push) Failing after 1s
Deploy grafana resources / ${{ github.event_name == 'push' && 'Deploy grafana resources' || 'Validate grafana resources (dry run)' }} (push) Failing after 0s
End to end tests (dotcom) / Check for relevant changes (push) Failing after 0s
End to end tests (examples) / Check for relevant changes (push) Failing after 0s
End to end tests (mermaid readability) / Check for relevant changes (push) Failing after 1s
End to end tests (perf) / Check for relevant changes (push) Failing after 0s
Publish editor extensions / Publish editor extensions (push) Failing after 1s
Publish SDK packages / Remove the publish-packages label (push) Has been skipped
Checks / Tests & checks (push) Has been cancelled
Checks / Build all projects (push) Has been cancelled
Deploy templates / Deploy templates (push) Has been cancelled
End to end tests (dotcom) / End to end tests (dotcom) (push) Has been cancelled
End to end tests (mermaid readability) / End to end tests (mermaid readability) (push) Has been cancelled
End to end tests (perf) / End to end tests (perf) (push) Has been cancelled
Deploy .com / Deploy dotcom to ${{ (github.ref == 'refs/heads/production' && 'production') || (github.ref == 'refs/heads/main' && 'staging') || 'preview' }} (push) Has been cancelled
End to end tests (examples) / End to end tests (examples) (push) Has been cancelled
Publish SDK packages / Publish SDK packages (push) Has been cancelled
Publish SDK packages / Tell user released version (push) Has been cancelled
Publish SDK packages / Publishes code templates to separate repositories (push) Has been cancelled
Publish SDK packages / Deploys the template demos with the new SDK version (push) Has been cancelled
30 lines
1.4 KiB
PL/PgSQL
30 lines
1.4 KiB
PL/PgSQL
-- The home/private workspace (group id == user id) is now renameable like any
|
|
-- other workspace. Previously its name was forced to mirror the user's profile
|
|
-- name via triggers; that fought renames and meant the workspace had no name of
|
|
-- its own. Stop syncing the name and default it to "My workspace".
|
|
|
|
-- 1. Stop re-syncing the home group name to the user's profile name. This trigger
|
|
-- would clobber a user's custom workspace name whenever their profile changed.
|
|
DROP TRIGGER IF EXISTS "update_home_group_name_trigger" ON public."user";
|
|
DROP FUNCTION IF EXISTS update_home_group_name();
|
|
|
|
-- 2. Default new home groups to "My workspace" instead of the user's name. Keep the
|
|
-- creation trigger (it also covers the legacy migrate-to-groups path) but have
|
|
-- it set a fixed default rather than copying the user's name.
|
|
CREATE OR REPLACE FUNCTION initialize_home_group_name() RETURNS TRIGGER AS $$
|
|
BEGIN
|
|
-- Only home groups have an id matching a user id.
|
|
UPDATE "group"
|
|
SET "name" = 'My workspace'
|
|
FROM public."user" u
|
|
WHERE u."id" = NEW."id" AND "group"."id" = NEW."id";
|
|
|
|
RETURN NEW;
|
|
END;
|
|
$$ LANGUAGE plpgsql;
|
|
|
|
-- 3. Reset existing home group names to "My workspace". Before this migration,
|
|
-- home group names were generated from profile names, so no existing name is
|
|
-- an intentional workspace-name choice.
|
|
UPDATE "group" SET "name" = 'My workspace' WHERE "id" IN (SELECT "id" FROM public."user");
|