fix git-kill-branch script