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 vote215 views1 answer
Pip install -U "yarl<1.2"
Shell/Bash
0 vote188 views1 answer
Keycloak constraint already exists
Shell/Bash
0 vote278 views1 answer
Docker answer dialog
Shell/Bash
0 vote187 views1 answer
How to install zsh using brew
Shell/Bash
0 vote186 views1 answer
Docker swarm get nodes
Shell/Bash
0 vote185 views2 answers
Skipping acquire of configured file 'multiverse/binary-1386/Packages' as repository 'http://archive.ubuntu.com/ubuntu focal-security InRelease' doesn't support architecture '1386'
Shell/Bash
0 vote269 views1 answer
Heroku see all logs
Shell/Bash
9 votes190 views2 answers
Flush dns linux
Shell/Bash
0 vote171 views1 answer
Stop gnome display manager
Shell/Bash
0 vote186 views1 answer
Open source applications
Shell/Bash