Let us suppose I have developed a cool feature and pushed the branch my-cool-feature. I am sure all is ok and I do not need it anymore locally, because the branch will be merged into master.
Using git branch -d my-cool-feature throws some error message If you are sure you want to delete it, run 'git branch -D my-cool-feature'.
Would the use of the "-D" flag delete the branch remotely too or only locally?