関連ワード:  github could not delete branch    git cannot delete branch    git prune does not delete branches    git pull does not delete branches    git merge does not delete branch    github cannot delete branch    github delete head branches    github delete all branches    github delete main branch