i want to use the terminal to delete a remote git repo code example Example: git how to delete origin branch $ git push origin --delete feature/login