meu site 'git add .'
esse comando adiciona os arquivos dentro do pacote
'git commit -m "mensagem"'
Esse comando escreve uma mensagem pra iformar o que foi alterado no pacote
'git push origin main' Esse comando envia o pacote pra versão principal
isabelle-and/isabelle-and.github.io
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|