does

spicedb migrate HEAD

get affected by

SPICEDB_DATASTORE_READONLY

, or does it run normally regardless of whether that option is set?