ledger: two tooling sightings from the host-provided repos arc #80
No reviewers
Labels
No labels
blocked
bug
decision
duplicate
enhancement
help wanted
invalid
landed?
question
ready-to-merge
stale
wontfix
bug
duplicate
enhancement
help wanted
invalid
question
wontfix
No milestone
No project
No assignees
2 participants
Notifications
Due date
No due date set.
Dependencies
No dependencies set
Reference
allod/memory!80
Loading…
Reference in a new issue
No description provided.
Delete branch "agent/ledger-arc-62"
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?
Two ledger sightings from the host-provided repos arc (allod/strategy#62): the forge 404 from submitting an unpushed branch, and the dev-VM pre-push hook refusing a filesystem-path push during a local experiment. R0, ledger only.