関連ワード:  github delete branch on merge    github delete branch on merge setting    github delete branch on merge pr    github auto delete branch on merge    github automatically delete branch on merge    github default delete branch on merge    github api delete_branch_on_merge    github do not delete branch on merge    github pull request delete branch on merge    github delete branch after merge