Note that deleting the remote branch X from the command line utilizing a git push will likely take out the nearby remote-monitoring branch origin/X, so It's not necessary to prune the obsolete remote-tracking department with git fetch --prune or git fetch -p. Nonetheless, it would not harm if you probably did it in any case.+ following the s indica