Hello there! I used the new tool to setup, and the setup was mostly smooth (need to rerun when I did some typos). My question is that, do we need to update it, and how? For example, do we just `git pull`, or is there a script that does this?