関連ワード:  github delete on merge    git delete on merge    github delete branch on merge    github delete branch on merge setting    github auto delete on merge    github delete branch on merge pr    github delete merge request    github delete merged branches automatically    github delete merged pull request    github delete merged pr