Git e GitHub

Existem várias maneiras para usar git e github; se você já possui conta no github e já sabe usar git, este documento não é pra ti!

Instale o programa git se não tá instalado já no teu sistema.
Crie o arquivo de configuração no teu homedir, chamado .gitconfig. Um exemplo:
```
[user]
    name = Fulano fu Lano
    email = fulano@fulamail.com
[core]
    editor = nvim
[alias]
   last = log -1 HEAD
   part = add --patch
```
A terceira secção, alias tem dois exemplos principalmente pala ilustrar quão fácil é criá-los. (Em inglês “alias” significa algo parecido com “apelido”.) Em cima eu tô definindo dois verbos como… “açúcar sintáctico” para o git: Assim, executando
```
git part
```
no meu sistema, o que será executado é
```
git add --patch
```
Cria uma conta no github.com e atualize teu profile no Zulip para a incluir.
Use o website do GitHub para criar um novo projeto: (maizinho (+) → New repository).
- Escolhe o nome do repositório (provavelmente eu pedi pra ser um específico—verifique!)
- Public? sim
- Bota uma descrição se quiser.
- Não adicione nenhum dos README, .gitignore, LICENSE, e continua.
- Siga as instruções na próxima tela, que tem uns caminhos diferentes; sugiro o «create a new repository on the command line», ou seja, executar os seguintes comandos dentro da pasta que vai virar o repo: (nesse exemplo, tua pasta é a fmc1-coq dentro da courses/fmc1):
```
cd courses/fmc1/fmc1-coq
echo "# fmc1-coq" >> README.md
git init
git add README.md
git commit -m "first commit"
git branch -M main
git remote add origin git@github.com:USERNAME/fmc1-coq.git
git push -u origin main
```

Depois disso, como uso?

Agora, com tudo isso feito, eu sugiro usar na seguinte forma, pelo terminal:

Navegar para achar tua pasta, tipo…

cd courses/fmc1/fmc1-coq

e dar os comandos lá. Por exemplo, vamos dizer que tu criou o NatRecInd.v. O fato que tá no diretório não significa que automaticamente tá sendo “rastreado”/visto pelo git. Adicionamos o arquivo então no git e commit’a tal mudança:

git add NatRecInd.v
git commit -m 'first commit'

(Nas tuas próximas mensagens seja mais descritivo com teus commit messages!) Para adicionar varios arquivos use algo do tipo git add *.v ou git add *, etc. O .gitignore vai tomar cuidado para não adicionar arquivos que devem ser ignorados.

Agora vamos dizer que tu editou o NatRecInd.v. Basta pedir ao git cadastrar as mudancas (para cada uma ele vai perguntar se tu queres que ela entre no próximo commit):

git part

(Lembre que isso foi um alias, se tu não o definiu o git vai reclamar por justa causa; e se não quer definir tal alias, precisa dar o comando mesmo git add --patch.) Tu responda y/n para cada mudanca se quiser entrar nesse commit

git commit -m 'proved that plus is associative`

Escolhe mensagens curtas, verdadeiras, e informativas/descritivas! E mandar isso para o github:

git push

Se tu tá trabalhando em mais que um computador, antes de começar editar coisas, use o

git pull

para pull’ar os commits já push’ados do outro canto.