§2.10 git push --delete origin <branch>