Skip to content

Better scripting, and exit on git pull #1283

Better scripting, and exit on git pull

Better scripting, and exit on git pull #1283