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/index.html | |
| 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/index.html')
| -rw-r--r-- | web/index.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/web/index.html b/web/index.html index 64dd486..c17601b 100644 --- a/web/index.html +++ b/web/index.html @@ -17,7 +17,7 @@ <option value="claude">Claude</option> <option value="gemini">Gemini</option> </select> - <button id="btn-notifications" class="btn-secondary" title="Enable push notifications">🔔 Notifications</button> + <button id="btn-notifications" class="btn-secondary" title="Enable push notifications">🔔</button> <button id="btn-start-next" class="btn-secondary">Start Next</button> <button id="btn-new-task" class="btn-primary">New Task</button> </div> |