Monday, May 4, 2020

git: delete a branch (locally and remote)

$ git branch -d ${LOCAL_BRANCH_NAME}
$ git push origin --delete ${REMOTE_BRANCH_NAME}

No comments:

Post a Comment