Tengo una duda en el video la instructora solo escribe el comando git pull para jalar cambios y git push para subir cambios, pero yo esos comandos los conocía como git pull origin (nombre de la rama) y lo mismo con el git push alguien pudiera decirme que diferencias hay y que es mas recomendable usar.
