Quick Tip — Written on Monday, Jan. 18, 2021Refresh local list of remote branches in gitBecause I always forget how to do this:git remote update origin --prune