etc/git-bDc.sh: script to delete current branch