Edição e publicação - ea-dc/ea-dc.github.io GitHub Wiki
Edição
Para qualquer edição, é importante seguir os seguintes passos:
- Atualize sua versão local
- Faça suas edições locais e confira localmente os resultados
- Atualize o repositório remoto
- Publique a nova versão do site
Atualização do repositório local
Antes de proceder qualquer edição, atualize o repositório local com quaisquer alterações que tenham sido feitas no GitHub.
No VSCode, acesse...
Na linha de comando, faça um pull no diretório onde está o repositório.
git pull