fix: stub roles for ALTER DEFAULT PRIVILEGES in external plan DB - #556

Merged

tianzhou merged 4 commits into

mainfrom

fix/issue-553-default-privileges-plan-db

Aug 21, 2026

Commits on Aug 21, 2026

fix: stub roles for ALTER DEFAULT PRIVILEGES in external plan DB

tianzhou
and
claude
committed
dacf6a9
fix: only create and drop stub roles that did not pre-exist

tianzhou
and
claude
committed
22c05f0
fix: error on pre-existing role without membership instead of mutating

tianzhou
and
claude
committed
8477a8a
fix: support FOR USER synonym and comma-separated role lists

tianzhou
and
claude
committed
edcd530