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 vote337 views1 answer
Grep if
Shell/Bash
0 vote359 views1 answer
Path too long while extracting zip file
Shell/Bash
2 votes890 views1 answer
'json-server' is not recognized as an internal or external command, operable program or batch file.
Shell/Bash
0 vote368 views1 answer
Kubernetes auto complete
Shell/Bash
-1 vote366 views1 answer
E: Unable to locate package mongodb-org
Shell/Bash
1 vote403 views1 answer
Install stacer ubuntu or linux
Shell/Bash
0 vote362 views1 answer
Unzip all zip files in a proper directory
Shell/Bash
1 vote351 views1 answer
How to remove a file inside jar file in linux
Shell/Bash
2 votes324 views1 answer
Case sh
Shell/Bash
0 vote381 views1 answer
Netcat find all devices
Shell/Bash