flatpak-external-data-checker icon indicating copy to clipboard operation
flatpak-external-data-checker copied to clipboard
verified publisher icon flathub-infra

Delete update branch after closing PR

Open JakobDev opened this issue 3 years ago • 1 comments

The Bot creates a new update branch for each PR. But this branch gets never deleted, so you will have a lot of update branches after a while, if you not delete them by yourself. It would be nice, if the Bot automatic deletes the Branch after closing/merging the PR.

JakobDev avatar Mar 16 '22 08:03 JakobDev

If you enable auto-merging, then flathubbot will delete the head branch.

tinywrkb avatar Apr 23 '22 13:04 tinywrkb