From fa68ed4f1ae51ea2db30162f53ebee4299bac364 Mon Sep 17 00:00:00 2001
From: Fabio Durastante <fabio.durastante@unipi.it>
Date: Thu, 30 Oct 2025 16:00:18 +0000
Subject: [PATCH] Aggiornato il file README con istruzioni su git pull

---
 README.md | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/README.md b/README.md
index 2d5ac8c..79206aa 100644
--- a/README.md
+++ b/README.md
@@ -4,3 +4,10 @@ Questo è il mio primo repository Git.
 
 Questa è la mia prima modifica ad un file sotto controllo di
 versione.
+
+## Una modifica fatta online
+
+Questa è una modifica che non ho, al momento, sul mio _clone_ locale del repository. Per ottenerla posso usare il comando:
+```bash
+git pull
+```