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

1 vote156 views1 answer
Convert all files to lowercase using shell script
Shell/Bash
0 vote199 views1 answer
Headlessui npm
Shell/Bash
0 vote143 views1 answer
Linus display ORACLE_HOME
Shell/Bash
4 votes146 views1 answer
Aws cloudfront invalidation cli
Shell/Bash
0 vote149 views1 answer
Liburcu ubuntu install
Shell/Bash
0 vote145 views1 answer
Install ssl ubuntu 20.04
Shell/Bash
3 votes162 views1 answer
Conda install environment without base packages
Shell/Bash
0 vote157 views1 answer
Install cmake debian
Shell/Bash
1 vote205 views1 answer
Remove file via command line
Shell/Bash
0 vote156 views2 answers
Ubuntu install geckodriver
Shell/Bash