Git prune

 if you deleted a branch using the git web GUI and don't want it to show up in your local branch list anymore (git branch -r), then this is the command you should use.

Source: stackoverflow.com

Git prune

git remote prune origin

Git config pull with prune

git config remote.origin.prune true

Source: stackoverflow.com

Similar codes

14 votes121 views1 answer
Another git process seems to be running in this repository, e.g. an editor opened by 'git commit'.
Shell/Bash
0 vote104 views1 answer
Telnet in shell script
Shell/Bash
19 votes121 views2 answers
How to change timezone in linux
Shell/Bash
0 vote97 views2 answers
Disable pre commit hook
Shell/Bash
44 votes311 views6 answers
Npm install typescript
Shell/Bash
0 vote126 views1 answer
Git log show branch of commit
Shell/Bash
0 vote108 views1 answer
Powershell alternative &&
Shell/Bash
5 votes114 views2 answers
Homebrew nvm install
Shell/Bash
0 vote96 views1 answer
Install Deno - Scoop (Windows)
Shell/Bash
2 votes98 views1 answer
Get file properties linux
Shell/Bash