Notice that deleting the remote branch X in the command line employing a git push will also remove the neighborhood remote-tracking department origin/X, so It is far from required to prune the out of date distant-tracking branch with git fetch --prune or git fetch -p. However, it wouldn't hurt if you did it in any case.This heritage would (ignoring