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