setup script

setup.sh

+#As much a reminder of how it was done as to use as an actual script
+
+git init
+git remote add -f origin https://gitlab.developers.cam.ac.uk/met-teaching-office/log_in.git
+git pull origin main
+
+# should end up with the repo files in the RPi home folder, I suppose it doesn't need to be there, w/e
+# worth checking that the log_in.py script is executable too, I think it should be
+
+