Delete a branch locally and on the remote

Locally:

git branch -d feature/login

-d refuses if the branch isn't merged yet. -D doesn't ask.

On the remote:

git push origin --delete feature/login

And to forget remote branches that other people already deleted:

git fetch --prune