From fcc89ed5fcd97d3cac0d1a1fabb36582811b452f Mon Sep 17 00:00:00 2001 From: Claude Date: Mon, 29 Jun 2026 20:52:02 +0000 Subject: [PATCH 1/5] Add "Manage GitHub access" link to the account dropdown Newly added repositories need the GitHub App granted access before the app can read/write their issues. Add a "Manage GitHub access" item to the signed-in user dropdown (next to "Sign out") that opens GitHub's installed-apps settings (https://github.com/settings/installations), where repository access for the app can be added or removed. Tests + 100% coverage + lint all green (966 tests). Co-Authored-By: Claude Opus 4.8 Claude-Session: https://claude.ai/code/session_019VQjXJyM3EZPd4joy3EwaB --- src/github-auth.js | 6 ++++++ tests/github-auth.test.js | 9 +++++++++ 2 files changed, 15 insertions(+) diff --git a/src/github-auth.js b/src/github-auth.js index e7aba8f..12f9e6f 100644 --- a/src/github-auth.js +++ b/src/github-auth.js @@ -184,6 +184,12 @@ function toggleUserDropdown() { const dropdown = document.createElement('div'); dropdown.className = 'user-dropdown absolute right-0 top-full mt-2 w-48 bg-white rounded-lg shadow-lg border border-gray-200 py-1 z-50'; dropdown.innerHTML = ` + + + Manage GitHub access + +