Record the site serve and view commands and what building them taught (again: #70 did not land) #71
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
1 participant
Notifications
Due date
No due date set.
Dependencies
No dependencies set
Reference
allod/memory!71
Loading…
Reference in a new issue
No description provided.
Delete branch "agent/site-serve-notes"
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?
This is allod/memory#70 again, unchanged. The forge lists that pull request as merged, but
masterdoes not contain its commit, so none of its notes are in the memory agents read.06b09c0, are the same.masteris still the commit the branch was cut from,d6460d8, so this applies cleanly.git ls-remote origin refs/heads/masterprintsd6460d8;git merge-base --is-ancestor 06b09c0 origin/masterexits 1;grep -c "site serve" allod.mdonmasterprints 0.Why allod/memory#70 shows as merged without having landed is not known. It is worth a look before merging this, in case something else that was merged to this repository is missing in the same way.
Refs allod/tools#240
The description, risk (R0) and validation are those of allod/memory#70.