diff options
| author | Peter Stone <thepeterstone@gmail.com> | 2026-03-16 21:30:36 +0000 |
|---|---|---|
| committer | Peter Stone <thepeterstone@gmail.com> | 2026-03-16 21:30:36 +0000 |
| commit | 1b6b27357c817359574605b854f6468917da314d (patch) | |
| tree | 1e03e989fa91a09bc8c93b8727ad454baa6e7e12 /web/app.js | |
| parent | 0e4cd564d4c3819f487e4b7469c410d485e42dec (diff) | |
fix: hide deployment badge when not deployed and trim notification button label
- Deployment badge now returns null (hidden) when includes_fix is false instead of showing "Not deployed" noise
- Badge also suppressed when fix_commits is empty (no tracked commits to check)
- Notification button label trimmed to just the bell emoji
- Preamble: warn agents not to use absolute paths in git commands (sandbox bypass)
Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
Diffstat (limited to 'web/app.js')
| -rw-r--r-- | web/app.js | 10 |
1 files changed, 5 insertions, 5 deletions
@@ -107,8 +107,7 @@ export function renderDeploymentBadge(status, doc = (typeof document !== 'undefi span.className = 'deployment-badge deployment-badge--deployed'; span.textContent = '✓ Deployed'; } else { - span.className = 'deployment-badge deployment-badge--pending'; - span.textContent = '⚠ Not deployed'; + return null; } if (status.deployed_commit) { span.title = `Deployed commit: ${status.deployed_commit.slice(0, 8)}`; @@ -179,8 +178,9 @@ function createTaskCard(task) { if (csBadge) card.appendChild(csBadge); } - // Deployment status badge for READY tasks - if (task.state === 'READY' && task.deployment_status != null) { + // Deployment status badge for READY tasks — only when there are tracked commits to check. + if (task.state === 'READY' && task.deployment_status != null && + task.deployment_status.fix_commits && task.deployment_status.fix_commits.length > 0) { const depBadge = renderDeploymentBadge(task.deployment_status); if (depBadge) card.appendChild(depBadge); } @@ -2660,7 +2660,7 @@ async function enableNotifications(btn) { if (!res.ok) throw new Error(`Subscribe failed: HTTP ${res.status}`); if (btn) { - btn.textContent = '🔔 On'; + btn.textContent = '🔔'; btn.disabled = true; } } catch (err) { |
