Submeter alterações

Efetuar um Commit

Agora que já fizeste as alterações no teu computador, podes fazer um PR (Pull Request), ou seja, passar pelo processo de submissão para o repositório oficial, e, consequentemente, para o website oficial.

Para isso, começas por proceder como se estivesses a trabalhar num repositório só teu:

1. Fazer commit das alterações (e.g. git commit -m "[BD] Add guide for .cgi hosting");
2. Fazer push para o teu repositório (origin) com as alterações (i.e. git push);

Abrir um Pull Request

Assim que tiveres feito push para o teu repositório, irá aparecer a opção de fazer um pull request no GitHub:

Info

Alternativamente, caso essa opção não apareça, podes ir à página de comparar alterações, clicar em compare across forks e selecionar o teu repositório/branch no head repository e compare, respetivamente. De seguida, clica no botão verde Create pull request.

Irá então aparecer uma página que permite escrever um titulo e uma descrição do pull request.

Título do Pull Request

É importante seguir o formato para o título descrito no comentário da descrição:

Para garantir consistência, todos os títulos de pull requests devem seguir o formato:

[Sigla da UC] Breve descrição (com a primeira letra maiúscula e sem ponto final)

Assim que o título e a descrição estiverem escritas, basta clicar no botão Create pull request e o pedido de alterações será feito com sucesso!

Porque se chama pull request e não push request?

Poderão existir dúvidas na nomenclatura usada - porquê Pull request e não Push request, visto que estamos a "empurrar" conteúdos para o repositório principal?

Esta dúvida é perguntada muitas vezes.

A ideia é que fazer push de mudanças locais para um repositório, efetivamente significa "enviar" as mudanças para o repositório. Nós "empurramos" novo conteúdo (a mesma lógica aplica-se para quando fazemos pull).

Contudo, quando se fala em pull request, estamos a pedir (request) ao repositório de destino que faça pull das nossas mudanças, pois nós não somos maintainers do repositório e portanto não temos permissões para fazer push - para sermos nós a "empurrar" as mudanças.

Adicionar Alterações a um Pull Request aberto

Se tiveres um pull request aberto que ainda não foi merged, podes ainda efetuar alterações! Para isso, basta fazeres commit e push para o mesmo branch.

Pull Request Aceite

Parabéns, o teu pull request foi aceite! E agora?

Existem vários passos que podes ter de fazer:

1. Apagar o branch que foi merged. Dado que as alterações já foram aceites, o branch deixou de ter utilidade.
   Caso ainda estejas no branch, volta para o master: git checkout master.
   De seguida, apaga o branch.

   git branch -d <nome do branch>
   

2. Atualizar a fork. Já que foram efetuadas alterações no repositório original (upstream), tens também de atualizar o teu branch master para ficar igual ao master do upstream.

   git checkout master
   git pull upstream master
   git push
   

   Alternativamente, o GitHub mostra um botão Sync fork na página do teu repositório, onde podes fazer o mesmo. Lembra-te de fazer pull se optares por esta opção.