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 vote186 views2 answers
Jq filter array
Shell/Bash
0 vote161 views1 answer
Git get latest
Shell/Bash
4 votes174 views1 answer
Progrez.cloud api
Shell/Bash
0 vote163 views3 answers
Ned red installation guide ubuntu
Shell/Bash
1 vote187 views2 answers
Install prettier globaly
Shell/Bash
0 vote169 views1 answer
Gentoo enable all fonts
Shell/Bash
0 vote164 views1 answer
Ssh-keygen -t rsa
Shell/Bash
0 vote131 views1 answer
Move a file to /opt
Shell/Bash
4 votes211 views3 answers
00h00m00s 0/0: : ERROR: [Errno 2] No such file or directory: 'install'
Shell/Bash
33 votes170 views3 answers
Insomnia
Shell/Bash