Notice that deleting the distant branch X within the command line using a git push will likely remove the neighborhood remote-tracking branch origin/X, so It's not necessarily necessary to prune the obsolete distant-monitoring department with git fetch --prune or git fetch -p. However, it wouldn't hurt if you probably did it in any case.So boosting… Read More