Skip to content

Better scripting, and exit on git pull #1278

Better scripting, and exit on git pull

Better scripting, and exit on git pull #1278