Be aware that deleting the distant branch X within the command line utilizing a git push will likely take away the community distant-monitoring branch origin/X, so it is not required to prune the obsolete distant-tracking branch with git fetch --prune or git fetch -p. Having said that, it wouldn't hurt if you probably did it in any case.To mention