Hi, To change the spelling of a role, is there a way to migrate internally or should be done with a script which reads / writes the role back into SpiceDB?

👋 what do you mean "spelling of a role"? are you referring to renaming a relation in your schema? if so, yes, renaming a relation requires a migration

We accidentally misspelled a role in our schema and we want to change it to the correct spelling.

yeah I'm just not sure what you mean a "role in our schema". There is no such concept of "role" in SpiceDB schema language, so I can only assume it's a concept in your business domain that is modeled with a

relation

. And in that case, as mentioned, it requires to be done with a 4-phase migration.

I’m sorry, it’s relation.

correct

Thank you