Delete Branch After Merge

[ben51degrees]

After the Nightly PRs to Main workflow merges a PR, the source branch should be deleted by default.

This keeps the repo tidy by removing branches which are no longer needed.

For PRs from external forks, the branch should not be deleted, as it not a 51Degrees repo (and the delete would fail anyway)

[pi-alexander-popel]

There's a repository setting that enables this behavior: https://docs.github.com/en/repositories/configuring-branches-and-merges-in-your-repository/configuring-pull-request-merges/managing-the-automatic-deletion-of-branches

[justadreamer]

@pi-alexander-popel can it be done automatically using some gh command option when we are merging? it is kinda tedious to switch on every repo...

[pi-alexander-popel]

No such option, unfortunately.
https://docs.github.com/en/rest/pulls/pulls?apiVersion=2022-11-28#merge-a-pull-request--parameters

[justadreamer]

When we have time let's write a script that'd utilize gh command to update settings of each repo in the org to enable this option per repo.

[pi-alexander-popel]

Here's the PowerShell script:

$org = '51Degrees'
$list = gh repo list 51Degrees --no-archived --limit 256 --json name --jq '.[].name'

Write-Host -Separator "`n" $list
Write-Host '---------'
$confirm = Read-Host 'The repositories above will have the "Delete branch on merge" setting enabled. Continue [y/N]'
if ($confirm -like 'y*') {
    foreach ($repo in $list) {
        gh repo edit $org/$repo --delete-branch-on-merge
    }
}