@oddessentials/agent-guild 0.31.0 → 0.32.0

package/README.md

@@ -195,8 +195,11 @@ of them from the box at its top; it starts on the repository the focused
 terminal's folder is a clone of. **Issues** lists, opens, edits and closes
 issues. **Actions** shows the latest workflow runs and whether one is still
 going, refreshing while it is on screen. **Pull requests** lists the open
-ones. **Repositories** lists and creates repositories and clones them over SSH
-with a key Agent Guild keeps for each account. On a wide window the side panel
+ones. **Branches** lists every remote branch of the selected repository, with
+its default and protected branches marked. Filter by name, copy a branch name,
+or open it on GitHub. Larger lists load progressively; **Refresh** checks for
+changes while keeping your place in the list. **Repositories** lists and creates
+repositories and clones them over SSH with a key Agent Guild keeps for each account. On a wide window the side panel
 makes room for itself; on a smaller one it lies over the cards, and over the
 terminals when they would get too narrow. Drag its edge to resize it. Escape
 or **Close** puts it away.

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@oddessentials/agent-guild",
-  "version": "0.31.0",
+  "version": "0.32.0",
   "description": "Launch and watch AI coding-assistant terminal sessions from one local web page. A bundled session manager owns the terminals so the page can close and reconnect.",
   "license": "MIT",
   "repository": {

package/src/manager/github-views.mjs

@@ -1,4 +1,4 @@
-// Issues, Actions runs and open pull requests of one repository, read with a
+// Branches, Issues, Actions runs and open pull requests of one repository, read with a
 // signed-in account. Reading and editing stay shallow: GitHub's page is the full view.
 
 import { nextLink, parseRepo } from './github.mjs';
@@ -114,6 +114,42 @@ export function createViews(github) {
   }
 
   return {
+    async branches(accountId, owner, name, { page = '1' } = {}) {
+      if (!/^[1-9]\d*$/.test(String(page)) || !Number.isSafeInteger(Number(page))) {
+        throw refusal(400, 'bad_page', 'page must be a positive integer');
+      }
+      page = Number(page);
+      // One metadata read per listing, never a protection request per branch.
+      const [listing, metadata] = await Promise.all([
+        call(accountId, owner, name, `/branches?per_page=100&page=${page}`),
+        page === 1 ? call(accountId, owner, name, '').then(({ body }) => ({ body }), (error) => ({ error: error.message })) : null,
+      ]);
+      const { body, res, repo } = listing;
+      if (!Array.isArray(body)) throw refusal(502, 'github_error', 'GitHub did not return a branch list');
+      let nextPage = null;
+      const next = nextLink(res.headers.get('link'));
+      if (next) {
+        // Reconstruct our own route; never send credentials to a supplied Link URL.
+        try { nextPage = Number(new URL(next).searchParams.get('page')); } catch { /* rejected below */ }
+        if (!Number.isSafeInteger(nextPage) || nextPage <= page) {
+          throw refusal(502, 'github_error', 'GitHub returned an invalid next page for branches');
+        }
+      }
+      const branches = body.filter((item) => typeof item?.name === 'string' && item.name.length > 0).map((item) => ({
+        name: item.name,
+        sha: typeof item.commit?.sha === 'string' && /^[a-f0-9]{40,64}$/i.test(item.commit.sha) ? item.commit.sha : null,
+        protected: item.protected === true,
+        url: `${WEB}/${repo.fullName}/tree/${encodeURIComponent(item.name)}`,
+      }));
+      return {
+        branches, nextPage,
+        defaultBranch: typeof metadata?.body?.default_branch === 'string' ? metadata.body.default_branch : null,
+        metadataError: metadata?.error ?? null,
+        fetchedAt: new Date().toISOString(),
+        url: `${WEB}/${repo.fullName}/branches`,
+      };
+    },
+
     async issues(accountId, owner, name, { state = 'open' } = {}) {
       if (state !== 'open' && state !== 'closed' && state !== 'all') throw refusal(400, 'bad_state', 'state must be open, closed or all');
       const { body, res, repo } = await call(accountId, owner, name, `/issues?state=${state}&per_page=${PAGE}&sort=updated&direction=desc`);

package/src/manager/server.mjs

@@ -458,7 +458,7 @@ export function createManagerServer({
       const folder = manager.resolveCwd(url.searchParams.get('cwd'));
       return sendJson(res, 200, { folder, repo: folderOrigin(folder) });
     }
-    const view = route.match(/^\/github\/accounts\/([^/]+)\/repos\/([^/]+)\/([^/]+)\/(issues|actions|pulls)(?:\/([^/]+))?$/);
+    const view = route.match(/^\/github\/accounts\/([^/]+)\/repos\/([^/]+)\/([^/]+)\/(issues|actions|pulls|branches)(?:\/([^/]+))?$/);
     if (view) {
       let parts;
       try { parts = view.map((part) => (part === undefined ? part : decodeURIComponent(part))); } catch { throw new HttpError(400, 'repo must be a GitHub repository written as owner/name', 'bad_repo'); }
@@ -472,6 +472,7 @@ export function createManagerServer({
       if (kind === 'issues' && number !== undefined && method === 'PATCH') {
         return sendJson(res, 200, { issue: await views.updateIssue(id, owner, name, number, await readJsonBody(req)) });
       }
+      if (kind === 'branches' && number === undefined && method === 'GET') return sendJson(res, 200, await views.branches(id, owner, name, { page: url.searchParams.get('page') ?? '1' }));
       if (kind === 'actions' && number === undefined && method === 'GET') return sendJson(res, 200, await views.actions(id, owner, name));
       if (kind === 'pulls' && number === undefined && method === 'GET') return sendJson(res, 200, await views.pulls(id, owner, name));
     }

package/web/app.js

@@ -2967,6 +2967,13 @@ function loadGitHub() {
 function setGitHub(github) {
   const before = state.github?.signIn;
   state.github = github;
+  const branches = githubPick.data.branches;
+  if (branches && !github.accounts.some((a) => a.id === branches.repo.accountId && !a.needsSignIn)) {
+    // Replace the generation even while the dock is closed; signing in again must
+    // never make an earlier account's pending answer current.
+    githubPick.data.branches = { ...branches, value: null, loading: false, nextPage: null,
+      error: `Sign in as @${branches.repo.login} in Repositories to see its branches.` };
+  }
   const done = github.signIn?.status === 'done' && before?.status === 'pending' ? github.signIn : null;
   if (done) {
     selectGitHubAccount(done.accountId);
@@ -3086,7 +3093,7 @@ function openGitHub({ focus = true } = {}) {
   loadGitHub();
   if (githubPick.repo) {
     loadView('actions');
-    if (githubShownView() === 'issues' || githubShownView() === 'pulls') loadView(githubShownView());
+    if (['issues', 'pulls', 'branches'].includes(githubShownView())) loadView(githubShownView());
   }
   followTerminal();
   if (focus) ($('github-card').querySelector('.btn.primary') ?? $('dock-close')).focus();
@@ -3497,7 +3504,7 @@ function useFolder(dir) {
 
 // ---- GitHub repository views ------------------------------------------------
 
-const GITHUB_VIEWS = ['repos', 'issues', 'actions', 'pulls'];
+const GITHUB_VIEWS = ['repos', 'issues', 'actions', 'pulls', 'branches'];
 const RUNS_POLL_MS = 6000;
 const RUNS_IDLE_POLL_MS = 30000;
 const BODY_LIMIT = 48000;
@@ -3592,7 +3599,11 @@ function pickRepo(repo, { chosen = false } = {}) {
     githubPick.recent = remember(githubPick.recent, repo);
     save(GITHUB_RECENT_KEY, JSON.stringify(githubPick.recent));
   }
-  if (!same) Object.assign(githubPick, { data: {}, editing: null });
+  if (!same) {
+    Object.assign(githubPick, { data: {}, editing: null });
+    $('github-branches-filter').value = '';
+    $('github-branches').scrollTop = 0;
+  }
   if ((!same || chosen) && githubView.accountId !== repo.accountId && state.github?.accounts.some((a) => a.id === repo.accountId)) {
     selectGitHubAccount(repo.accountId);
     githubView.card = null;
@@ -3605,7 +3616,7 @@ function pickRepo(repo, { chosen = false } = {}) {
   renderGitHubViews();
   if (!dockShows('github')) return;
   loadView('actions');
-  if (githubShownView() === 'issues' || githubShownView() === 'pulls') loadView(githubShownView());
+  if (['issues', 'pulls', 'branches'].includes(githubShownView())) loadView(githubShownView());
 }
 
 /** Picks the repository whose clone holds the focused terminal's folder, once for each terminal focused. */
@@ -3628,6 +3639,7 @@ async function followTerminal() {
 }
 
 async function loadView(view) {
+  if (view === 'branches') return loadBranches();
   const repo = githubPick.repo;
   if (!repo || view === 'repos') return;
   const query = view === 'issues' ? `?state=${githubPick.issueState}` : '';
@@ -3652,6 +3664,170 @@ async function loadView(view) {
   if (view === 'actions') scheduleRuns();
 }
 
+// Each object is a listing generation, scoped to the selected account/repository.
+// A retry continues that generation; Refresh replaces it and starts at page one.
+function branchesCurrent(request) {
+  return githubPick.data.branches === request && githubPick.repo && repoKey(githubPick.repo) === request.key
+    && state.github?.accounts.some((a) => a.id === request.repo.accountId && !a.needsSignIn);
+}
+
+function branchesVisible() {
+  return dockShows('github') && githubShownView() === 'branches' && document.visibilityState === 'visible';
+}
+
+async function loadBranches({ resume = false } = {}) {
+  const repo = githubPick.repo;
+  if (!repo || !state.github?.accounts.some((a) => a.id === repo.accountId && !a.needsSignIn)) return;
+  const before = viewData('branches');
+  if (resume && (!before || before.loading || before.nextPage === null)) return;
+  const request = resume ? before : {
+    key: repoKey(repo), repo, value: before?.value ?? null, loading: false, error: null,
+    nextPage: 1, received: false, rows: new Map(), defaultBranch: null, metadataError: null,
+  };
+  githubPick.data.branches = request;
+  request.loading = true;
+  request.error = null;
+  renderGitHubViews();
+  try {
+    while (request.nextPage !== null && branchesVisible() && branchesCurrent(request)) {
+      const page = request.nextPage;
+      const result = await api('GET', `${repoPath(repo)}/branches?page=${page}`);
+      if (!branchesCurrent(request)) return;
+      // A malformed response must not masquerade as a complete, empty list.
+      if (!Array.isArray(result.branches) || (result.nextPage !== null
+        && (!Number.isSafeInteger(result.nextPage) || result.nextPage <= page))) {
+        throw new Error('Could not read the next page of branches. Try again.');
+      }
+      if (page === 1) {
+        request.defaultBranch = result.defaultBranch;
+        request.metadataError = result.metadataError;
+      }
+      for (const branch of result.branches) request.rows.set(branch.name, branch);
+      request.nextPage = result.nextPage;
+      request.received = true;
+      request.value = { ...result, branches: [...request.rows.values()],
+        defaultBranch: request.defaultBranch, metadataError: request.metadataError };
+      renderGitHubViews();
+    }
+  } catch (err) {
+    if (!branchesCurrent(request)) return;
+    if (err instanceof AuthError) { showAuth(err.message); return; }
+    request.error = err.message;
+  } finally {
+    if (branchesCurrent(request)) {
+      request.loading = false;
+      renderGitHubViews();
+    }
+  }
+}
+
+/** Keep the first visible branch at the same pixel offset when earlier rows arrive. */
+function branchAnchor(panel, list) {
+  const { top, bottom } = panel.getBoundingClientRect();
+  const row = [...list.children].find((node) => {
+    const rect = node.getBoundingClientRect();
+    return rect.bottom > top && rect.top < bottom;
+  });
+  return row ? { name: row.dataset.branch, offset: row.getBoundingClientRect().top - top } : null;
+}
+
+async function copyBranch(name, control) {
+  const request = viewData('branches');
+  control.disabled = true;
+  let message;
+  try {
+    if (!navigator.clipboard?.writeText) throw new Error('Clipboard unavailable');
+    await navigator.clipboard.writeText(name);
+    message = `Copied branch name: ${name}`;
+  } catch {
+    message = 'Could not copy. Select the branch name and copy it using your browser.';
+  } finally {
+    control.disabled = false;
+  }
+  if (request === viewData('branches') && branchesVisible() && control.isConnected) toast(message);
+}
+
+function renderBranches({ preserveAnchor = true } = {}) {
+  const panel = $('github-branches');
+  const list = $('github-branches-list');
+  const repo = githubPick.repo;
+  const key = repo ? repoKey(repo) : '';
+  const same = panel.dataset.repo === key;
+  const anchor = same && preserveAnchor ? branchAnchor(panel, list) : null;
+  const focused = list.contains(document.activeElement) ? document.activeElement : null;
+  const oldScroll = same ? panel.scrollTop : 0;
+  if (!same) { list.replaceChildren(); panel.dataset.repo = key; }
+  $('github-branches-pick').hidden = Boolean(repo);
+  $('github-branches-content').hidden = !repo;
+  if (!repo) return;
+  const slot = viewData('branches');
+  const value = slot?.value;
+  const query = $('github-branches-filter').value.trim().toLocaleLowerCase();
+  $('github-branches-clear').disabled = !$('github-branches-filter').value;
+  const refresh = $('github-branches-refresh');
+  const usable = state.github?.accounts.some((a) => a.id === repo.accountId && !a.needsSignIn);
+  refresh.disabled = Boolean(slot?.loading) || !usable;
+  refresh.textContent = slot?.loading ? (value ? 'Refreshing…' : 'Loading…') : 'Refresh';
+  const out = $('github-branches-out');
+  out.href = value?.url ?? `https://github.com/${repo.fullName}/branches`;
+  out.title = `Open ${repo.fullName} branches on GitHub`;
+  const branches = (value?.branches ?? []).filter((b) => b.name.toLocaleLowerCase().includes(query)).sort((a, b) =>
+    Number(b.name === value.defaultBranch) - Number(a.name === value.defaultBranch)
+      || a.name.localeCompare(b.name) || (a.name < b.name ? -1 : a.name > b.name ? 1 : 0));
+  const complete = Boolean(value && value.nextPage === null && (!slot.error || slot.received));
+  const count = value?.branches.length ?? 0;
+  let status = !value ? (slot?.error ? 'Branches could not be loaded.' : 'Loading branches…')
+    : query ? `${branches.length} of ${count} loaded branches match.`
+      : `${count} ${count === 1 ? 'branch' : 'branches'}${complete ? '' : ' loaded'}.`;
+  if (value && !slot.received) status += slot.loading ? ' Refreshing…' : ' Showing previous results.';
+  else if (!complete && value) status += slot.loading ? ' Loading more…' : ' Listing incomplete.';
+  if (complete && !branches.length) status = query ? `No branches match “${$('github-branches-filter').value.trim()}”.` : 'No remote branches yet.';
+  const statusNode = $('github-branches-status');
+  if (statusNode.textContent !== status) statusNode.textContent = status;
+  const failure = $('github-branches-error');
+  failure.hidden = !slot?.error;
+  failure.querySelector('span').textContent = slot?.error ?? '';
+  $('github-branches-retry').disabled = Boolean(slot?.loading) || slot?.nextPage === null || !usable;
+  const metadata = $('github-branches-metadata');
+  metadata.hidden = !value?.metadataError;
+  metadata.textContent = value?.metadataError ? 'Branches loaded, but the default branch could not be identified. Refresh to try again.' : '';
+  const existing = new Map([...list.children].map((row) => [row.dataset.branch, row]));
+  const wanted = new Set(branches.map((branch) => branch.name));
+  let cursor = list.firstElementChild;
+  for (const branch of branches) {
+    let row = existing.get(branch.name);
+    if (!row) {
+      const copy = button('Copy name', () => copyBranch(branch.name, copy));
+      copy.setAttribute('aria-label', `Copy branch name ${branch.name}`);
+      row = recordRow(`branch:${branch.name}`, branch.name, '', copy, branch.url);
+      row.classList.add('github-branch');
+      row.dataset.branch = branch.name;
+      row.setAttribute('role', 'listitem');
+      row.querySelector('.history-title').append(el('span', 'github-branch-badges'));
+    }
+    const badges = row.querySelector('.github-branch-badges');
+    const badgeState = `${branch.name === value.defaultBranch}:${branch.protected}`;
+    if (badges.dataset.state !== badgeState) {
+      badges.dataset.state = badgeState;
+      badges.replaceChildren(...[
+        branch.name === value.defaultBranch ? badge('', 'Default', 'Default branch') : null,
+        branch.protected ? badge('', 'Protected', 'Protected by branch protection or rulesets') : null,
+      ].filter(Boolean));
+    }
+    row.querySelector('.history-meta').textContent = branch.sha ? branch.sha.slice(0, 7) : '';
+    row.querySelector('.history-meta').title = branch.sha ?? '';
+    if (row === cursor) cursor = cursor.nextElementSibling;
+    else list.insertBefore(row, cursor);
+  }
+  for (const row of [...list.children]) if (!wanted.has(row.dataset.branch)) row.remove();
+  if (focused?.isConnected && document.activeElement !== focused) focused.focus({ preventScroll: true });
+  panel.scrollTop = oldScroll;
+  if (anchor) {
+    const row = [...list.children].find((node) => node.dataset.branch === anchor.name);
+    if (row) panel.scrollTop += row.getBoundingClientRect().top - panel.getBoundingClientRect().top - anchor.offset;
+  }
+}
+
 function viewData(view) {
   const slot = githubPick.data[view];
   const repo = githubPick.repo;
@@ -3824,6 +4000,7 @@ function renderGitHubViews() {
   $('github-issues').hidden = shown !== 'issues';
   $('github-runs').hidden = shown !== 'actions';
   $('github-pulls').hidden = shown !== 'pulls';
+  $('github-branches').hidden = shown !== 'branches';
   const ready = Boolean(state.github && githubAccount() && !githubAccount().needsSignIn);
   $('github-clone-into').hidden = !ready || shown !== 'repos';
   const running = Boolean(viewData('actions')?.value?.running);
@@ -3833,6 +4010,7 @@ function renderGitHubViews() {
   if (shown === 'issues') renderIssues();
   else if (shown === 'actions') renderRuns();
   else if (shown === 'pulls') renderPulls();
+  else if (shown === 'branches') renderBranches();
 }
 
 /** Rebuilds a panel and puts the focus back on the control with the same `data-key`. */
@@ -5650,6 +5828,18 @@ $('github-views').addEventListener('click', (e) => {
   if (view) switchGitHubView(view);
 });
 $('github-views').addEventListener('keydown', moveGitHubView);
+$('github-branches-refresh').addEventListener('click', () => loadView('branches'));
+$('github-branches-retry').addEventListener('click', () => loadBranches({ resume: true }));
+$('github-branches-filter').addEventListener('input', () => {
+  $('github-branches').scrollTop = 0;
+  renderBranches({ preserveAnchor: false });
+});
+$('github-branches-clear').addEventListener('click', () => {
+  $('github-branches-filter').value = '';
+  $('github-branches').scrollTop = 0;
+  renderBranches({ preserveAnchor: false });
+  $('github-branches-filter').focus();
+});
 $('github-parent').addEventListener('change', () => setCloneParent(cloneParent()));
 $('github-parent-pick').addEventListener('click', firstClick(() => chooseFolder('clone')));
 $('history-here').addEventListener('change', renderHistory);
@@ -5710,6 +5900,7 @@ document.addEventListener('visibilitychange', () => {
   if (document.visibilityState === 'visible' && state.connected && Date.now() - newsLoadedAt > 60000) loadNews();
   if (document.visibilityState === 'visible' && dockShows('github') && githubShownView() === 'actions') loadView('actions');
   else scheduleRuns();
+  if (branchesVisible() && !viewData('branches')?.error) loadBranches({ resume: true });
 });
 addEventListener('pagehide', () => {
   flushNotes();

package/web/environment.js

@@ -92,6 +92,8 @@ export function createEnvironmentUI({ api, onAuthError, isAuthError = () => fals
   $('environment-refresh').addEventListener('click', () => load(true));
   dialog.addEventListener('click', (event) => { if (event.target === dialog) dialog.close(); });
   dialog.addEventListener('close', () => {
+    // A queued close from an earlier opening must not clear the current opener.
+    if (dialog.open) return;
     if (openerId) document.querySelector(`.provider[data-id="${openerId}"] .environment-open`)?.focus();
     openerId = null;
   });

package/web/index.html

@@ -208,6 +208,7 @@
         <button id="github-view-issues" class="github-view" type="button" role="tab" aria-controls="github-issues" aria-selected="false" data-view="issues" tabindex="-1">Issues</button>
         <button id="github-view-actions" class="github-view" type="button" role="tab" aria-controls="github-runs" aria-selected="false" data-view="actions" tabindex="-1" aria-label="Actions">Actions<span id="github-running" class="github-running" hidden></span></button>
         <button id="github-view-pulls" class="github-view" type="button" role="tab" aria-controls="github-pulls" aria-selected="false" data-view="pulls" tabindex="-1" aria-label="Pull requests"><span class="long">Pull requests</span><span class="short" aria-hidden="true">PRs</span></button>
+        <button id="github-view-branches" class="github-view" type="button" role="tab" aria-controls="github-branches" aria-selected="false" data-view="branches" tabindex="-1">Branches</button>
       </div>
       <div id="github-repos" class="models-body github-body" role="tabpanel" aria-labelledby="github-view-repos">
         <section id="github-card" class="github-card" aria-live="polite" hidden></section>
@@ -241,6 +242,27 @@
       <div id="github-issues" class="models-body github-body" role="tabpanel" aria-labelledby="github-view-issues" hidden></div>
       <div id="github-runs" class="models-body github-body" role="tabpanel" aria-labelledby="github-view-actions" hidden></div>
       <div id="github-pulls" class="models-body github-body" role="tabpanel" aria-labelledby="github-view-pulls" hidden></div>
+      <div id="github-branches" class="models-body github-body" role="tabpanel" aria-labelledby="github-view-branches" hidden>
+        <p id="github-branches-pick" class="github-view-note">Pick a repository above to see its branches.</p>
+        <div id="github-branches-content" hidden>
+          <div class="github-view-tools">
+            <button id="github-branches-refresh" class="btn" type="button">Refresh</button>
+            <span class="github-spacer"></span>
+            <a id="github-branches-out" class="btn github-out" target="_blank" rel="noopener noreferrer" aria-description="Opens in a new tab">GitHub</a>
+          </div>
+          <div class="github-branch-filter">
+            <input id="github-branches-filter" type="search" placeholder="Filter branches" aria-label="Filter branches" spellcheck="false" autocomplete="off">
+            <button id="github-branches-clear" class="btn" type="button" disabled>Clear</button>
+          </div>
+          <p id="github-branches-status" class="github-view-note" role="status" aria-live="polite" aria-atomic="true"></p>
+          <div id="github-branches-error" class="github-error" hidden>
+            <span role="alert"></span>
+            <button id="github-branches-retry" class="btn" type="button">Retry</button>
+          </div>
+          <p id="github-branches-metadata" class="github-view-note" hidden></p>
+          <div id="github-branches-list" class="history-list" role="list" aria-label="Remote branches"></div>
+        </div>
+      </div>
       <div id="github-clone-into" class="history-form github-form">
         <label for="github-parent">Clone into</label>
         <div class="cwd-field single">

package/web/styles.css

@@ -898,10 +898,27 @@ a.news-link:visited { color: var(--muted); }
 .github-view[aria-selected="true"] { color: var(--heading); background: var(--surface-2); border-color: var(--border); border-bottom-color: var(--surface-2); }
 .github-view:focus-visible { outline: 2px solid var(--focus); outline-offset: -2px; }
 .github-view .short { display: none; }
-@container (max-width: 340px) {
+@container (max-width: 440px) {
   .github-view .long { display: none; }
   .github-view .short { display: inline; }
 }
+#github-branches { overflow-anchor: none; }
+.github-branch-filter { display: flex; align-items: center; gap: 6px; }
+.github-branch-filter input {
+  flex: 1; min-width: 0; padding: 7px 10px; border: 1px solid var(--border); border-radius: var(--radius);
+  background: var(--surface); color: var(--text); font: inherit; font-size: 0.85rem;
+}
+.github-branch-filter input:focus-visible { outline: 2px solid var(--focus); outline-offset: 1px; }
+.github-branch .history-title { display: flex; flex-wrap: wrap; gap: 4px 8px; align-items: baseline; }
+.github-branch .github-record-title { min-width: 0; overflow-wrap: anywhere; }
+.github-branch-badges { display: inline-flex; flex-wrap: wrap; gap: 4px; }
+.github-branch .history-meta { font-family: var(--font-mono, monospace); }
+.github-branch > .btn { align-self: start; }
+#github-branches-error .btn { margin-left: 6px; }
+@media (pointer: coarse) {
+  .github-branch-filter input { font-size: 16px; }
+  .github-branch > .btn, #github-branches .github-view-tools .btn, .github-branch-filter .btn { min-height: 36px; }
+}
 .github-running { width: 8px; height: 8px; border-radius: 50%; background: var(--warn); box-shadow: 0 0 0 3px color-mix(in srgb, var(--warn) 25%, transparent); animation: pulse 1.4s ease-in-out infinite; }
 .github-body[hidden] { display: none; }
 .github-view-tools { display: flex; flex-wrap: wrap; align-items: center; gap: 6px; padding-bottom: 6px; }