関連ワード:  github delete merged pr    github delete merged pull request    git remove merged pr    git delete merged pull request    github delete branch after merge pr    github delete branch on merge pr    github delete merged branches    github delete after merge