gofix/portal-tunnel-rs
Watch
1
0
Fork
You've already forked portal-tunnel-rs
 0
Code Issues Pull requests Projects Releases 16 Packages 1 Wiki Activity Actions

chore: delete merged pull request branches #88

Merged
ada merged 1 commit from chore/delete-merged-pr-branches into master 2026-08-24 09:11:25 +00:00
Conversation 0 Commits 1 Files changed 1 +1
ada commented 2026-08-24 09:08:09 +00:00
Collaborator
Copy link

Problem

The repository default branch-deletion setting can be overridden by API-driven merges, leaving merged release branches behind.

Change

  • Require same-repository PR head deletion after merge.
  • Require API merges to send delete_branch_after_merge: true.
  • Document verification and safe fallback cleanup criteria.

Validation

  • git diff --check
  • Ada release automation unit tests: 22 passed
## Problem The repository default branch-deletion setting can be overridden by API-driven merges, leaving merged release branches behind. ## Change - Require same-repository PR head deletion after merge. - Require API merges to send `delete_branch_after_merge: true`. - Document verification and safe fallback cleanup criteria. ## Validation - `git diff --check` - Ada release automation unit tests: 22 passed
chore: delete merged pull request branches
All checks were successful
Rust CI / Format, lint, and test (pull_request) Successful in 2m55s
Details
99b0ab6b1f
ada merged commit c0b966910e into master 2026-08-24 09:11:25 +00:00
ada deleted branch chore/delete-merged-pr-branches 2026-08-24 09:11:25 +00:00
Sign in to join this conversation.
Reviewers
No reviewers
Labels
Clear labels
No items
No labels
Milestone
Clear milestone
No items
No milestone
Projects
Clear projects
No items
No project
Assignees
Clear assignees
No assignees
1 participant
Notifications
Due date
The due date is invalid or out of range. Please use the format "yyyy-mm-dd".

No due date set.

Dependencies

No dependencies set

Reference
gofix/portal-tunnel-rs!88
No description provided.