How to Delete a Git Branch Both Locally and Remotely
2023-05-23 16:21 jetwill 阅读(8) 评论(0) 编辑 收藏 举报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\]\$ '