Take note that deleting the distant branch X within the command line employing a git push will likely take out the neighborhood remote-monitoring department origin/X, so It is far from important to prune the out of date remote-monitoring branch with git fetch --prune or git fetch -p. Nevertheless, it wouldn't hurt if you did it anyway.+ adhering to