git push --mirror vs remote set-url --push code example Example: git remote update origin --prune git remote update origin --prune