Observe that deleting the distant branch X within the command line utilizing a git drive may even get rid of the local remote-monitoring branch origin/X, so It's not necessarily necessary to prune the obsolete distant-monitoring branch with git fetch --prune or git fetch -p. However, it would no