I have deleted branches on github and did git fetch locally.
git branch -a still lists remote branches.
- do I have to remove local remote branches manually anyway?
- is there a way to do an automatic cleanup of local remote branches (if something is not present on github then remove local remote branch)?
git fetch --prune(orgit fetch origin --pruneorgit remote update origin --pruneor any of a number of similar varieties of command, all using-por--prune).git config --global alias.refresh-remote-branches "remote update origin --prune"