Hi,
If you try to delete a local branch "feature" which is not merged into another branch, you will get the following warning:
. error: The branch 'feature' is not fully merged. . If you are sure you want to delete it, run 'git branch -D feature'.
If a local branch is worth to be protected in such a way, why not the remote tracking one:
$ git push origin :feature
no warning, just deleted.
Well i can set "receive.denyDeletes" on the remote repository, but this completely removes the ability to delete remote branches.
How to achieve a similar behavior as with local branches?
(BTW. with "git push . :feature" it is also possible to force deletion of local, unmerged branches)
Best regards Henning