alias git push origin --delete <branch>