Subject: protect branches against deletion from remote

From: Henning Moll <[email-masked]>
Date: Sat, 14 Mar 2015 19:28:40 +0100

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