git prune local branches
By Stanley Frami at Sep 29 2020
git remote update origin --prune
By Nina Larkin at Aug 04 2020