After a registry has been migrated, individual devices can be migrated using the CLI migration tool. This tool allows for devices to be migrated multiple times. Please find more More information is available here.
The migration tool requires a terminal to stay open while the migration proceeds. This may be cumbersome if the migration takes a very long time. In that case, do the following:
...