Support deleting head branch of GitHub pull requests #1245
Description
add support for this new feature: https://help.github.com/en/articles/managing-the-automatic-deletion-of-branches
{{ message }}
add support for this new feature: https://help.github.com/en/articles/managing-the-automatic-deletion-of-branches