Each one takes a few minutes (even with automation doing the lion's share of the groundwork). I have migrated around 130 repos so far, and have somewhere betwee

Each one takes a few minutes (even with automation doing the lion's share of the groundwork). I have migrated around 130 repos so far, and have somewhere between 40-50 left. Some of the last ones actually used more of Travis CI's environment features, so they'll take longer to migrate.