标签：Both Git Locally git branch 033 delete
TL;DR version
https://www.freecodecamp.org/news/how-to-delete-a-git-branch-both-locally-and-remotely/
// delete branch locally
git branch -d localBranchName
// delete branch remotely
git push origin --delete remoteBranchName
# To Make Linux show user@host(HH:MM:SS):/your-current-path$
// vi ~/.bashrc
PS1='${debian_chroot:+($debian_chroot)}\[\033[01;32m\]\u@\h\[\033[00m\](\D{%H:%M:%S})\[\033[01;34m\]:$PWD\[\033[00m\]\$ '
标签：Both,
Git,
Locally,
git,
branch,
033,
delete
From： https://www.cnblogs.com/chenjo/p/17425607.html