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

0 vote110 views1 answer
Upgrade python using choco (win 10)
Shell/Bash
0 vote109 views1 answer
Mdem ubuntu add user to sudo
Shell/Bash
13 votes120 views1 answer
Another git process seems to be running in this repository
Shell/Bash
0 vote107 views1 answer
Zsh all binaries in path
Shell/Bash
0 vote134 views1 answer
On hotspot and wifi at the same time arch linux
Shell/Bash
0 vote110 views1 answer
Know witch branch attributed to ta
Shell/Bash
0 vote121 views2 answers
How to uninstall android studio in ubuntu 20.04 using terminal
Shell/Bash
3 votes122 views3 answers
Tensorflow docker hub
Shell/Bash
30 votes118 views6 answers
Git reset soft head
Shell/Bash
0 vote110 views1 answer
Root check bash script
Shell/Bash