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 vote212 views1 answer
Vim command to select all text in file
Shell/Bash
0 vote199 views2 answers
Install visual studio code raspberry pi
Shell/Bash
0 vote229 views1 answer
Grub file path
Shell/Bash
0 vote215 views1 answer
How to customize zsh
Shell/Bash
0 vote216 views1 answer
Shell script to find sum of n numbers using for loop
Shell/Bash
0 vote218 views2 answers
Https://cloud.google.com/shell/docs/using-web-preview#previewing_the_application
Shell/Bash
0 vote213 views2 answers
Permission denied while running startup.sh in linux
Shell/Bash
0 vote203 views1 answer
Mongodb server stop command in kali linux
Shell/Bash
0 vote227 views1 answer
Catkin install
Shell/Bash
3 votes217 views1 answer
How to install gh-pages
Shell/Bash