Observe that deleting the remote branch X through the command line utilizing a git push will even take out the nearby distant-monitoring branch origin/X, so It's not important to prune the out of date remote-tracking branch with git fetch --prune or git fetch -p. Even so, it wouldn't harm if