git-shell-commands/del