Add migration page for GitHub App

readthedocs/core/templatetags/readthedocs/socialaccounts.py

@@ -1,7 +1,11 @@
 from allauth.socialaccount.adapter import get_adapter
+from allauth.socialaccount.providers.github.provider import GitHubProvider
 from django import forms
 from django import template
 
+from readthedocs.allauth.providers.githubapp.provider import GitHubAppProvider
+from readthedocs.oauth.utils import is_access_revoked as utils_is_access_revoked
+
 
 register = template.Library()
 
@@ -19,3 +23,21 @@ def can_be_disconnected(account):
         return True
     except forms.ValidationError:
         return False
+
+
+@register.filter
+def is_access_revoked(account):
+    """Check if access to the account is revoked."""
+    return utils_is_access_revoked(account)
+
+
+@register.filter
+def has_github_app_account(account):
+    """Check if there is a GitHub App account matching this account."""
+    if account.provider != GitHubProvider.id:
+        return False
+
+    return account.user.socialaccount_set.filter(
+        provider=GitHubAppProvider.id,
+        uid=account.uid,
+    ).exists()