O diretório de trabalho local de um repositório Git está em sintonia com a submissão apontada por HEAD no repositório
central remoto. Você cria um arquivo chamado main.py e precisa submetê-lo ao repositório central remoto. Considerando a
ferramenta de linha de comando do Git, qual a sequência de comandos a ser executada no diretório no qual o arquivo foi
criado, irá realizar a submissão?