Carico le funzioni in python fatte in modo molto chiaro e commentato. Aggiunto README per capire come collegarsi usando SSH

README.md

@@ -0,0 +1,44 @@
+# Per git
+
+Ora voi vorreste fare un
+
+```bash
+git pull
+```
+
+oppure un
+
+```bash
+git pull origin main
+```
+
+Ma ancora non potete perchè dovete settare un origin remota.
+Per farlo dovrete prima generare delle chiavi SSH con il comando:
+
+```bash
+ssh-keygen
+```
+
+Questo comando vi farà alcune domande su come deve generare la chiave e dove deve metterla. Per il luogo lasciatelo di defaul, mentre inserite quello che volete nel resto delle domande.
+
+Generata una Key valida dovrete lanciare il comando:
+
+```bash
+cat ~/.ssh/nomeChiave.pub
+# Se avete veramente lasciato il nome di default
+cat ~/.ssh/id_ed25519.pub
+```
+
+Altissima Attenzione: voi volete leggere la chiave pubblica NON la chiave privata che si chiama nello stesso modo a meno dell'estensione .pub che stà per pubblica.
+
+Ora  che avete la chiave pubblica dovete aggiungerla alle chiavi fidate nel vostro account sotto la voce chiavi SSH.
+
+L'operazione non ha difficoltà particolari ed online si trovano diversi video che fanno vedere come si importano le chiavi SSH su GitHub. Il metodo è lo stesso uguale identico, quindi se qualcosa non è chiaro dategli un occhio.
+
+Dopo aver caricato la vostra chiave pubblica nella cartella dove volete salvare queste cose di lab fate
+
+```bash
+git remote add origin ssh://git@git.jachimachis.duckdns.org:222/jacopoBR/Lab1.git
+```
+
+A questo punto siete pronti a usare la repository con anche la parte remota.