TIL: git remote prune origin