Skip to content

Delete safe GitHub branches during prune#411

Merged
codeforester merged 1 commit into
masterfrom
enhancement/410-20260601-remote-branch-prune
Jun 1, 2026
Merged

Delete safe GitHub branches during prune#411
codeforester merged 1 commit into
masterfrom
enhancement/410-20260601-remote-branch-prune

Conversation

@codeforester
Copy link
Copy Markdown
Owner

Summary

  • Extend basectl gh branch prune --remote to delete safe GitHub remote branches, not just stale local origin/* tracking refs.
  • Keep pruning dry-run by default and require --yes before deleting anything.
  • Delete a GitHub branch only when GitHub confirms a merged PR for that exact head branch, including squash merges.
  • Keep default/current/worktree-attached branches protected and print separate GitHub branches and Remote tracking refs sections.
  • Update GitHub workflow docs and changelog.

Validation

  • bash -n cli/bash/commands/basectl/subcommands/gh.sh
  • bats cli/bash/commands/basectl/tests/gh.bats
  • env -u BASE_HOME HOME=/private/tmp/base-review-home BASE_TEST_PYTHON=/Users/rameshhp/.base.d/base/.venv/bin/python bin/base-test
  • git diff --check

Closes #410

@codeforester codeforester merged commit 7446468 into master Jun 1, 2026
16 checks passed
@codeforester codeforester deleted the enhancement/410-20260601-remote-branch-prune branch June 1, 2026 22:48
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Delete safe GitHub remote branches during branch prune

1 participant