関連ワード:  git push branch delete    git push branch delete to remote    git push branch delete to origin    github push deleted branch    git push branch removal    git push local branch delete to remote    git force push delete branch    git push after delete branch    git push mirror without delete branch    git push delete local branch