O Git é um sistema de controle de versões distribuído, utilizado principalmente no desenvolvimento de software. Qual dos comandos abaixo pode ser utilizado para enviar as alterações de um repositório local para um repositório remoto?