fix(forgejo): retry workspaces whose origin could not be read #60
No reviewers
Labels
No labels
Agent
Ignore
Agent
In Progress
Agent
Planned
Agent
Planning
Agent
Ready
Agent
Triage
Compat
Breaking
Kind
Bug
Kind
Documentation
Kind
Enhancement
Kind
Feature
Kind
Security
Kind
Testing
Priority
Critical
Priority
High
Priority
Low
Priority
Medium
Reviewed
Confirmed
Reviewed
Duplicate
Reviewed
Invalid
Reviewed
Won't Fix
Status
Abandoned
Status
Blocked
Status
Need More Info
No milestone
No project
No assignees
2 participants
Notifications
Due date
No due date set.
Dependencies
No dependencies set
Reference
lucas/omp-deck!60
Loading…
Reference in a new issue
No description provided.
Delete branch "59-workspace-index-failed-origin-lookups"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
The workspace index cached a failed
git remote get-url originexactly like an origin on another host. One transient failure, such as a directory that isn't mounted yet at startup, then kept a registered repository "not connected" until restart, and Forgejo comments on it were dropped. The newlookupOriginseparates a missing origin (git exit 2), which is a real answer, from other git failures. The index now caches only answers, retries a workspace whose lookup failed on every lookup, and logs each failure with git's error text.Verification
bun test apps/server/src/forgejo: 228 pass, 0 fail. This includes the new tests:lookupOriginreturns the right result for an origin, no origin, a non-repo directory and a missing path.bun run typecheck: passes for protocol, server and web.Closes #59