Files
GitHop/docs/gitea-hop-native.md
T
Hop b04e24a543 Reconcile portable Hop prompt records with the latest accepted repository state
Hop-State: A_06FN6X5SEFS9VB6A92K2JE0
Hop-Proposal: R_06FN6X45KVCRM0P2G9SF9N0
Hop-Task: T_06FN6Q6CPY9NYPA25F6DKS8
Hop-Attempt: AT_06FN6WXQF509ZK786R6N7Z0
2026-07-11 16:13:06 -07:00

2.1 KiB

Hop-native Gitea semantics

HopWeb keeps Gitea's existing forge interface and adds a Hop-specific public home page, brand mark, and semantic vocabulary for collaboration elements.

Install

From the project root:

./deploy/gitea/install-hop-native.sh

Set ENV_FILE when the Compose environment is stored elsewhere:

ENV_FILE=/path/to/environment ./deploy/gitea/install-hop-native.sh

The installer copies the home page, brand mark, styles, and adapter into Gitea's persistent custom directory, sets the application name to Hop, restarts Gitea, and waits for a healthy response. Re-run it after editing an asset or replacing the Gitea volume.

Semantic mapping

Native route and behavior Hop label
Repository code Files
Prompts (Hop-native causal record)
Issues Tasks
Branches Attempts
Commits Checkpoints
Pull requests Proposals
Actions Evidence
Merge pull request Accept proposal

The adapter updates visible text, document titles, form placeholders, tooltips, and ARIA labels. It scopes replacements to Gitea navigation, headings, menus, breadcrumbs, labels, and buttons, so repository content and user-authored prose remain unchanged.

Repository home pages also receive a Hop workflow group in the existing Gitea sidebar. It uses Gitea's own classes, links, icons, and live counts.

Portable prompt ledger

The Prompts tab reads immutable JSON records from .hop/records/prompts/ directly from the repository branch being reviewed. Hop writes the relevant prompt records automatically when it creates a proposal; make hop-records exports the complete local history on demand. The records include prompts and safe review metadata, but deliberately exclude the local Hop database, workspaces, check output, and machine paths.

Upgrade check

After changing the pinned Gitea version:

  1. run the installer;
  2. confirm Prompts, Tasks, Proposals, and Evidence in repository navigation;
  3. confirm Attempts and Checkpoints in the Files view;
  4. confirm proposal creation and acceptance labels;
  5. inspect browser console errors; and
  6. test a narrow viewport and keyboard navigation.