ALTER TABLE ssh_principal_grants ADD COLUMN principals_json TEXT NOT NULL DEFAULT '[]';

UPDATE ssh_principal_grants
SET principals_json = json_array(principal)
WHERE principals_json = '[]';
