로컬, 원격에서 branch 삭제

다음 글을 정리한 것 : https://www.freecodecamp.org/korean/news/how-to-delete-a-git-branch-both-locally-and-remotely/

// 로컬에서 삭제
$ git branch -d [브랜치 이름]

// 원격 브랜치 삭제
$ git push origin --delete [원격 브랜치 이름]
$ git push <remote> :<branch> // <remote>는 별명, ex) origin

// 브랜치 목록 동기화!!
$ git fetch -p

-p : 가지치기(prune), 원격에서 이미 삭제된 브랜치는 목록에서 삭제된다.