関連ワード:  github pull request delete branch after merge    github pull request delete branch    git pull request delete branch    github pull request auto delete branch    github pull request delete source branch    github merge pull request delete branch    github pull request without deleting branch    github pull request don t delete branch    git merge request delete source branch    github merge pull request without deleting branch