origin carries six feature branches that are fully merged into main and serve no further purpose:
origin/make-default-target
origin/parallel-phases
origin/parallel-walk
origin/persistent-database
origin/scan-operand-progress
origin/scan-wide-phases
All six are confirmed merged (git branch -r --merged origin/main). The only unmerged branch is origin/golangci-v2.12.2, which is PR #2 and must be left alone until that lands.
Housekeeping only — deliberately not in the 1.0.0 milestone, since it blocks nothing.
Definition of done
The six branches listed above are deleted from origin.
git branch -r --merged origin/main lists only origin/main.
No branch with unmerged commits is touched.
`origin` carries six feature branches that are fully merged into `main` and serve no further purpose:
- `origin/make-default-target`
- `origin/parallel-phases`
- `origin/parallel-walk`
- `origin/persistent-database`
- `origin/scan-operand-progress`
- `origin/scan-wide-phases`
All six are confirmed merged (`git branch -r --merged origin/main`). The only unmerged branch is `origin/golangci-v2.12.2`, which is PR #2 and must be left alone until that lands.
Housekeeping only — deliberately not in the 1.0.0 milestone, since it blocks nothing.
## Definition of done
1. The six branches listed above are deleted from `origin`.
2. `git branch -r --merged origin/main` lists only `origin/main`.
3. No branch with unmerged commits is touched.
origin/golangci-v2.12.2 was also removed, but as part of merging PR #2 rather than as part of this cleanup — it was the one unmerged branch at the time this issue was written, and it is merged now.
After a git fetch --prune, git branch -r lists exactly one branch: origin/main. No branch carrying unmerged commits was touched.
Done. All six merged branches deleted from `origin`:
- [deleted] make-default-target
- [deleted] parallel-phases
- [deleted] parallel-walk
- [deleted] persistent-database
- [deleted] scan-operand-progress
- [deleted] scan-wide-phases
`origin/golangci-v2.12.2` was also removed, but as part of merging PR #2 rather than as part of this cleanup — it was the one unmerged branch at the time this issue was written, and it is merged now.
After a `git fetch --prune`, `git branch -r` lists exactly one branch: `origin/main`. No branch carrying unmerged commits was touched.
Blocking a user prevents them from interacting with repositories, such as opening or commenting on pull requests or issues. Learn more about blocking a user.
origincarries six feature branches that are fully merged intomainand serve no further purpose:origin/make-default-targetorigin/parallel-phasesorigin/parallel-walkorigin/persistent-databaseorigin/scan-operand-progressorigin/scan-wide-phasesAll six are confirmed merged (
git branch -r --merged origin/main). The only unmerged branch isorigin/golangci-v2.12.2, which is PR #2 and must be left alone until that lands.Housekeeping only — deliberately not in the 1.0.0 milestone, since it blocks nothing.
Definition of done
origin.git branch -r --merged origin/mainlists onlyorigin/main.Done. All six merged branches deleted from
origin:origin/golangci-v2.12.2was also removed, but as part of merging PR #2 rather than as part of this cleanup — it was the one unmerged branch at the time this issue was written, and it is merged now.After a
git fetch --prune,git branch -rlists exactly one branch:origin/main. No branch carrying unmerged commits was touched.