GitHub App: faster migration page

readthedocs/oauth/migrate.py

@@ -261,7 +261,7 @@ def get_migrated_projects(user):
     )
 
 
-def get_valid_projects_missing_migration(user):
+def get_valid_projects_missing_migration(user) -> Iterator[Project]:
     """
     Get all projects that the user can migrate to the GitHub App.
 
@@ -296,6 +296,16 @@ def get_migration_targets(user) -> list[MigrationTarget]:
     return targets
 
 
+def has_projects_pending_migration(user) -> bool:
+    """
+    Check if the user has any projects pending migration to the GitHub App.
+
+    This includes all projects that are connected to the old GitHub OAuth App,
+    where the user has admin permissions and the GitHub App is installed.
+    """
+    return any(_get_projects_missing_migration(user))
+
+
 def get_old_app_link() -> str:
     """
     Get the link to the old GitHub OAuth App settings page.