things I learnt today - delete remote branch through cli

list only the remote branches
git branch -r

delete a remote branch
git push -d origin <branch_name>

remove stale/obsolete remote branch references from local
git fetch --all --prune