Tip for refreshing file tree after doing a git checkout