Eric Brasil (IHLM/UNILAB)

Tem diferença? É a mesma coisa? Por que usar?
Version Control System
Vantagens:
Plataforma de hospedagem de códigos e arquivos
Possui controle de versões utilizando Git;
Rede Social;
Vantagens:
Site oficial: git-scm.com
git config --global user.name => configura nome do usuário na máquinagit config --global user.email => configura emailgit config --list => lista as configurações atuaisgit initEsse comando cria a estrutura do git, como pode ser visto no diretório .git
Os arquivos no seu diretório git podem estar em 3 estágios:
Modified: Um arquivo alterado sem ter sido preparado ou gravado no git está na
condição de "modificado" (modified).
Staged: preparado para entrar no histórico.
git add [arquivo]: prepara o arquivo ou arquivos para serem enviadosstaged)Commited: gravados no histórico do git
git commit: grava as alterações no históricogit commit -m "mensagem do commit"git commit -a -m "mensagem do commit"Lembrando que um commit armazena um snapshot de tudo que você incluiu sua 'staging area'.
É possível consultar o status dos arquivos no diretório:
git status É possível acessar as diferenças entre os arquivos
git diffRemover um arquivo do diretório de trabalho e também do histórico:
git remove [arquivo]Remover apenas o registro do arquivo do histórico, mas manter o arquivo no diretório de trabalho:
git rm --cached [arquivo]Renomear arquivos
-git mv [atual] [novo]
Ver os registros das ações:
-git log
Corrigir o último commit:
git commit --amendDesfazer preparação de arquivos:
git restore --staged [arquivo]Para clonar um diretório de algum servidor online:
git clone [url]Todo conteúdo do repositório será clonado localmente.
O repositório online é chamado de origin
Para adicionar um remote ao repositório local:
git remote add origin <REMOTE_URL>Para verificar o repositório remoto:
git remote -vFetch:
git fetch [remote-name]Push
git push [remote-name] [branch name]Ex:git push origin main
Pull
git pullCriar um novo branch
git branch [name]HEAD => aponta para qual branch você está
Mudar de branch
git checkout [branch name]Merge
git merge [branch name]Deletar branch
git branch -d [branch name]Vai hospedar o repositório remoto, versionado com git.
Existem várias formas de enviar um repositório local para o GitHub.
Nesse link há um tutorial de como fazer isso usando linha de comando.
xxxxxxxxxx# create a remote repository from the current directorygh repo create my-project --public --source=. --remote=upstream
xxxxxxxxxx$ git init -b main$ git add .$ git commit -m "commit inicial"$ git remote add origin <url>$ git remote -v$ git push origin main
Template criado para internetlab2022
Template criado para internetlab2022
Todos os PRs e Issues são atribuídos com um número, #1, #523, etc.
Assim, toda vez que for necessário, você pode fazer referência a eles apenas inserindo #número.
Também é possível referenciar issues e PRs de outros repostirórios, marcando username/repo#<num>.
Para marcar usuários ou equipes (teams) no corpo do texto de issues e PRs é só inserir @username ou @team.
Toda plataforma supor a sintaxe Markdown. Portanto, ao escrever issues, PRs, comentários, README.md, etc, você deve usar essa sintaxe.
Para saber mais, veja o minicurso de Markdown: Uma introdução ao Markdown
O workflow colaborativo básico do GitHub está centrado nos Pull Requests.
main;Push) para o seu projeto remoto (origin);