関連ワード:  git delete branch after pull request    github delete branch after pull request    github delete branch after pull request automatically    git delete branch after merge request    git remove branch after pull request    git delete local branch after pull request    github delete branch after pull request merge    github delete branch pull request    github delete branch without pull request    delete branch after pull request