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 vote133 views1 answer
Show all running service linux
Shell/Bash
0 vote155 views1 answer
Concat two txt
Shell/Bash
0 vote128 views1 answer
How to install emmet atom
Shell/Bash
0 vote203 views1 answer
How to remove commit in git extension
Shell/Bash
20 votes135 views2 answers
Ubuntu install nginx
Shell/Bash
17 votes175 views1 answer
Install openjdk 8 sdk on ubuntu
Shell/Bash
0 vote150 views1 answer
Ubuntu cmd firewall give access to port
Shell/Bash
4 votes142 views1 answer
Install pytorch gpu on windows
Shell/Bash
0 vote119 views1 answer
Clear arp table ubuntu]
Shell/Bash
0 vote169 views1 answer
SCP copy a directory from a local to remote system
Shell/Bash