Note that deleting the remote branch X within the command line employing a git push will likely get rid of the community distant-tracking branch origin/X, so it is not important to prune the out of date remote-monitoring department with git fetch --prune or git fetch -p. Nevertheless, it wouldn'