github CAN automatically delete branch of merged PR

[Matt Heffron]

FYI: It isn’t actually required for the user to explicitly delete the branch after a PR is merged…

https://docs.github.com/en/repositories/configuring-branches-and-merges-in-your-repository/configuring-pull-request-merges/managing-the-automatic-deletion-of-branches

 

Matt