Take note that deleting the remote branch X through the command line employing a git push will even get rid of the community remote-tracking branch origin/X, so It's not at all essential to prune the obsolete remote-monitoring branch with git fetch --prune or git fetch -p. Nonetheless, it would