¡Hola Sayury!
Gracias por tu pregunta. En respuesta a tu duda, cuando realizas un "git pull" desde el servidor remoto, lo que estás haciendo es actualizar tu repositorio local con los cambios realizados en el repositorio remoto. Esto significa que los cambios se reflejarán en tu repositorio local, pero no necesariamente en los archivos físicos de tu computadora.
En el caso que mencionas, si el archivo index.html dentro de la carpeta Bruno no cambió, es posible que el otro usuario no haya realizado cambios en ese archivo en particular o que no haya hecho un "push" de sus cambios al repositorio remoto.
Es importante tener en cuenta que los "pulls" solo actualizan tu repositorio local con los cambios realizados en el repositorio remoto. Si deseas que los cambios se reflejen en los archivos físicos de tu computadora, debes realizar un "git checkout" para cambiar a la rama donde se encuentran los cambios y luego copiar los archivos actualizados a la ubicación correspondiente en tu computadora.
Espero haber aclarado tu duda. Si tienes alguna otra pregunta, no dudes en preguntar. ¡Espero haber ayudado y buenos estudios!
Un saludo.
Si este post te ayudó, por favor,
marca como solucionado ✓. Continúa con tus estudios