github 上に間違ったブランチを push してしまって消したいとき。
local なら、 git branch -D branchname でいい。
github に push 済みのブランチについては
git push origin :branchname
とする。
github 上に間違ったブランチを push してしまって消したいとき。
local なら、 git branch -D branchname でいい。
github に push 済みのブランチについては
git push origin :branchname
とする。