age.md: name rotation-registry.json #57
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!57
Loading…
Reference in a new issue
No description provided.
Delete branch "agent/rotation-registry-rename"
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?
age.mdnames the rotation registry file by its new name,rotation-registry.json, instead offorgejo-token-groups.json. Nothing changes for a running machine: this is one line of public workflow memory. What stays identical: every other sentence in the file and the memory index. What proves it: the tracked memory-budget hook passes and a search of the repo finds no remaining mention of the old name. If it is wrong, revert the one commit.The file itself is renamed by the allod/secrets PR for the same issue; this docs line follows that landing order.
Refs allod/secrets#22
Risk
R0. Docs only; no runtime, generated, or secret state.
Validation
.hooks/memory-budget --worktree: exit 0.grep -rn 'forgejo-token-groups\|forgejoTokenGroups' . --exclude-dir=.git: no matches.