[galaxy-commits] commit/galaxy-central: greg: Handle unavailable main Galaxy tool shed when checking for migrated tools.