Merge pull request #1823 from apache/chandan/github-delete-branches .asf.yaml: Delete branches when pull requests are merged