feat: add read-only GitHub App access alongside OAuth

This commit is contained in:
Thomas Durieux
2026-09-09 22:08:12 +02:00
parent e5c44845f0
commit a60ad6a921
49 changed files with 1754 additions and 139 deletions
+22 -1
View File
@@ -114,7 +114,28 @@
"storage_read_error": "An error occurred while reading the file from storage — please try again.",
"upstream_error": "A temporary error occurred while fetching from GitHub — please try again.",
"token_expired": "Your GitHub access token has expired. Please log out and log in again to refresh it.",
"job_is_active": "This job is currently running — wait for it to finish or remove it first."
"job_is_active": "This job is currently running — wait for it to finish or remove it first.",
"github_app_access_required": "Allow this repository on GitHub using the read-only access button, then retry. Organization access may require administrator approval.",
"github_app_reconnect_required": "Reconnect your GitHub App account to restore read-only access.",
"github_app_disabled": "New GitHub App connections are currently unavailable.",
"github_oauth_required": "Connect legacy GitHub OAuth to use this feature.",
"github_identity_mismatch": "Use the same GitHub account that you are signed in with here.",
"github_app_permissions_invalid": "The GitHub App must be configured with read-only permissions.",
"github_unavailable": "GitHub is temporarily unavailable. Please retry.",
"connection_changed": "The repository connection changed. Reload and try again.",
"repository_busy": "Wait for the repository operation to finish before changing its connection.",
"invalid_connection": "Select a supported GitHub connection.",
"github_oauth_disabled": "Legacy OAuth sign-in is currently disabled.",
"invalid_auth_state": "The authorization session expired. Please start again from Anonymous GitHub.",
"invalid_webhook_signature": "The webhook signature is invalid.",
"webhook_processing_failed": "Webhook processing failed. Retry the delivery.",
"github_app_authorization_cancelled": "GitHub authorization was cancelled.",
"github_account_link_required": "This username belongs to an existing account. Sign in to that account before connecting GitHub.",
"github_app_refresh_busy": "GitHub credentials are being renewed. Please retry shortly.",
"github_grant_revocation_failed": "Unable to revoke the GitHub grant. Please retry.",
"another_login_required": "Connect and verify another sign-in method before disconnecting OAuth.",
"oauth_resources_remaining": "Some resources still require OAuth. Migrate or remove them before disconnecting.",
"invalid_github_path": "The GitHub repository path is invalid."
},
"WARNINGS": {
"page_not_enabled_on_repo": "GitHub Pages is not enabled on this repository. Enable it in the repository's Settings → Pages on GitHub, then refresh.",