magit/magit — pull request #289 by dudebout (2011-11-20 23:08:44+00:00)
Title: Fix double deleting of a remote branch.

When deleting the remote copy of a remote branch, there is no need to also delete the local copy.
The two commands used to delete branches are:
+ delete only the local copy of a remote branch:
git branch [-d|-D] -r /
+ delete the remote copy AND the local copy of a remote branch:
git push :

Here is, in pseudo-code, what this fix is doing.
+ before the fix:
if (delete-remote-copy)
git push :
git branch [-d|-D] -r /
+ after the fix:
if (delete-remote-copy)
git push :
else
git branch [-d|-D] -r /