Commands
/migrate
Start migration for the repository represented by the current issue.
/rename-destination
Rename the destination GitHub repository before or during migration.
Migration
Migration
Use these commands to execute and refine repository migrations.