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 vote243 views1 answer
Build pdf from tex file linux
Shell/Bash
0 vote282 views1 answer
Use R markdown in github README
Shell/Bash
0 vote290 views1 answer
Ssh-copy-id specific file
Shell/Bash
0 vote271 views1 answer
How to renew let's encrypt certificate nginx
Shell/Bash
1 vote280 views1 answer
How to install cargo crate
Shell/Bash
0 vote260 views1 answer
Curl omit ssl
Shell/Bash
0 vote291 views1 answer
Spacemacs set font
Shell/Bash
190 votes452 views6 answers
Git create new branch
Shell/Bash
0 vote233 views1 answer
Run jupyter notebook ubuntu
Shell/Bash
0 vote277 views1 answer
How to remove local (untracked) files from the current Git working tree
Shell/Bash