Add 'git_delete_branch_for_real' bash function