From dfadc6717580793891db495e5729d98511dd0fed Mon Sep 17 00:00:00 2001
From: Hop <hop@localhost>
Date: Sat, 11 Jul 2026 16:05:27 -0700
Subject: [PATCH] Remove the Help link from Hop's shared top navigation

Hop-State: A_06FN6VDSDZSNJDKBSYY58K8
Hop-Proposal: R_06FN6VBZHCNQ6MQ1458WWR0
Hop-Task: T_06FN6TWMXN2S1VWJ42544S8
Hop-Attempt: AT_06FN6TWMXQEY87HJNX13SAR
---
 .../prompts/P_06FN6TWMXN0M2QSSNZ6KRE8.json       | 16 ++++++++++++++++
 deploy/gitea/public/assets/js/hop-native.js      |  7 +++++++
 deploy/gitea/templates/custom/footer.tmpl        |  2 +-
 3 files changed, 24 insertions(+), 1 deletion(-)
 create mode 100644 .hop/records/prompts/P_06FN6TWMXN0M2QSSNZ6KRE8.json

diff --git a/.hop/records/prompts/P_06FN6TWMXN0M2QSSNZ6KRE8.json b/.hop/records/prompts/P_06FN6TWMXN0M2QSSNZ6KRE8.json
new file mode 100644
index 0000000..e9f3900
--- /dev/null
+++ b/.hop/records/prompts/P_06FN6TWMXN0M2QSSNZ6KRE8.json
@@ -0,0 +1,16 @@
+{
+  "id": "P_06FN6TWMXN0M2QSSNZ6KRE8",
+  "task_id": "T_06FN6TWMXN2S1VWJ42544S8",
+  "attempt_id": "AT_06FN6TWMXQEY87HJNX13SAR",
+  "state_id": "P_06FN6TWMXN0M2QSSNZ6KRE8",
+  "prompt": "can we remove the \"help\" link from the top nav bar",
+  "agent_name": "codex",
+  "status": "active",
+  "created_at": "2026-07-11T23:03:07.245716Z",
+  "metadata": {
+    "source_tree": "ea0d3db5b0f9a853b863698e7b33c6e11a9d9e09",
+    "git_commit": "0cb027737ee091b928a48a2c45d6098178539803",
+    "attempt_head": "C_06FN6V403H9WBEY0E17NQJ8",
+    "attempt_head_kind": "checkpoint"
+  }
+}
diff --git a/deploy/gitea/public/assets/js/hop-native.js b/deploy/gitea/public/assets/js/hop-native.js
index 89c8c40..2c85ec0 100644
--- a/deploy/gitea/public/assets/js/hop-native.js
+++ b/deploy/gitea/public/assets/js/hop-native.js
@@ -379,10 +379,17 @@
     }
   }
 
+  function removeHelpNavigation() {
+    for (const link of document.querySelectorAll('#navbar a[href*="docs.gitea.com"]')) {
+      if (link.textContent.trim() === 'Help') link.remove();
+    }
+  }
+
   function applyHopSemantics() {
     const brandLogo = document.querySelector('#navbar-logo img');
     if (brandLogo) brandLogo.src = brandLogo.src.replace(/\/img\/(?:logo|hop)\.svg(?:\?.*)?$/, '/img/hop.svg?v=4');
     replaceBrandImages();
+    removeHelpNavigation();
     for (const root of document.querySelectorAll(semanticRoots)) replaceExactText(root);
     replaceAccessibleLabels(document);
     addPromptsNavigation();
diff --git a/deploy/gitea/templates/custom/footer.tmpl b/deploy/gitea/templates/custom/footer.tmpl
index 151245f..bdbc0ec 100644
--- a/deploy/gitea/templates/custom/footer.tmpl
+++ b/deploy/gitea/templates/custom/footer.tmpl
@@ -1,3 +1,3 @@
 <link rel="stylesheet" href="{{AssetUrlPrefix}}/css/hop-home.css?v=4">
 <link rel="stylesheet" href="{{AssetUrlPrefix}}/css/hop-prompts.css?v=1">
-<script src="{{AssetUrlPrefix}}/js/hop-native.js?v=10"></script>
+<script src="{{AssetUrlPrefix}}/js/hop-native.js?v=11"></script>