LOW: PR branches merged by app installation tokens do not get deleted

[purajit]

With merge queue enabled, what settings are required to ensure that head branches are deleted once PRs are merged? We have multiple repos configured with merge queues, but in just one of them, the branches are not being deleted.

• They all have "Automatically delete head branches" enabled
• There are no branch protection rules preventing them from being deleted
• There are no repo rulesets that restrict deletion
• I've already gone through https://docs.github.com/en/repositories/configuring-branches-and-merges-in-your-repository/configuring-pull-request-merges/managing-the-automatic-deletion-of-branches
• Even specifying -d in gh pr merge doesn't do anything, and doesn't fail
• I'm able to delete the branch from the UI without any issues

EDIT: I've since realized this is only an issue when merging via a Github App installation token; user-merged PRs on the same repo do get cleaned up. I've added context in cli/cli#7213 (comment), since I believe there might be a relationship between the two.

EDIT: This is still an issue

[bwhaley]

We are experiencing a similar issue. We have an auto-approve-action that automatically approves pull requests if they meet certain criteria (PR author, branch name, file names, committers, etc). The action runs as a GitHub App. If the criteria are met, the app (1) approves the PR and (2) enables auto merge. When all the required checks pass, the branch enters the merge queue and eventually merges to main. The source branch is never deleted, even though we have "Automatically delete head branches" enabled.

[github-actions[bot]]

🕒 Discussion Activity Reminder 🕒

This Discussion has been labeled as dormant by an automated system for having no activity in the last 60 days. Please consider one the following actions:

1️⃣ Close as Out of Date: If the topic is no longer relevant, close the Discussion as out of date at the bottom of the page.

2️⃣ Provide More Information: Share additional details or context — or let the community know if you've found a solution on your own.

3️⃣ Mark a Reply as Answer: If your question has been answered by a reply, mark the most helpful reply as the solution.

Note: This dormant notification will only apply to Discussions with the Question label. To learn more, see our recent announcement.

Thank you for helping bring this Discussion to a resolution! 💬