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

git push se utiliza para enviar cambios locales (commits) a un repositorio remoto. Actualiza el repositorio remoto de acuerdo con el estado local. En términos simples, compartes tus avances.

git pull se usa para obtener cambios del repositorio remoto y fusionarlos en la rama local actual. Es equivalente a ejecutar git fetch seguido de git merge. Sincroniza tu repositorio local con el remoto.

La diferencia en la dirección del flujo de datos: push envía cambios desde local a remoto, y pull recibe cambios desde remoto a local.

Ejemplo de uso de git push:

# Enviar cambios a la rama main en origin
git push origin main

Ejemplo de uso de git pull:

# Obtener cambios de la rama main en origin
git pull origin main