In theory it should never be needed. Launcher will automatically detect an out-of-date copy, and do the git pull itself:
לייק 1
In theory it should never be needed. Launcher will automatically detect an out-of-date copy, and do the git pull itself: