git update remote origin
By Peggy Wilderman at May 26 2020
By Annie Price at Mar 28 2020
git remote update origin --prune
By Nina Larkin at Aug 04 2020