You can run git remote prune origin and delete all the remote-tracking branches from your local machine that have been deleted on the origin. Handy! See also this other person who learned this which my searchings for how to clean up my git environment turned up.