¿Cuál es la diferencia entre los comandos git push y git pull, y en qué casos se aplica cada uno?

Los comandos git push y git pull sirven para sincronizar el repositorio local con el remoto, pero funcionan en direcciones opuestas:

• git push — envía tus commits locales al repositorio remoto. Se usa cuando quieres publicar tus cambios para que otros puedan verlos y usarlos.

• git pull — descarga los cambios del repositorio remoto y los fusiona automáticamente con tu rama actual. Se aplica para actualizar el repositorio local con los últimos cambios de otros desarrolladores.

Ejemplo de uso:

git pull origin main  # obtener los últimos cambios de la rama main
# ... realizar cambios ...
git add .
git commit -m "Agregada una nueva función"
git push origin main  # enviar tus cambios a la rama main

De esta forma, git pull ayuda a sincronizar la copia local con la remota, y git push a compartir tus cambios con el equipo.