You’re correct. I didn’t mean to suggest that a /dev/5 would perform the migration. When a migration is approved, then the requestor is temporary added to the “Transfer Team”, which gives them the privilege to migrate the repository. Once complete, they’re removed from the Transfer Team. Any Owner in GitHub (currently Michael, Elliott, myself, Darius, Mike, and Ryan) can add & remove someone from the Transfer team (it’d be nice if we could let any /dev/5 manage Transfer Team membership, but I’m not seeing that as an option in GitHub at the moment).
So, if you don’t have the time to add someone to the Transfer Team and then remove them after they’ve migrated their repo, then you could ask the Help Desk to do it. But /dev/5s should be responding to requests & making the decision when a migration should occur.