ALTER TABLE workspace ADD COLUMN repos JSONB NOT NULL DEFAULT '[]';