Observação: Autores de pull request podem fornecer a mantenedores do repositório upstream, ou àqueles com acesso push para o repositório upstream, permissão para fazer commits no branch de comparação de sua pull request em uma bifurcação de propriedade de usuário. Para obter mais informações, consulte "Permitir alterações no branch de uma pull request criada de uma bifurcação".
Modificar uma pull request ativa no local
- No nome do repositório, clique em Pull requests.
- Na lista de pull requests, clique no pull request que deseja modificar.
- Na caixa de merge, clique em instruções para linha de comando. Siga a sequência de etapas para rebaixar a pull request proposta.
- Como opção, para exibir as alterações propostas no GitHub Desktop, clique em abrir em GitHub Desktop.
Modificar uma pull request inativa no local
Se o autor de uma pull request não responde às solicitações ou excluiu sua bifurcação, a pull request ainda poderá ser mesclada. No entanto, se quiser fazer alterações em uma pull request e o autor não estiver respondendo, será preciso executar algumas etapas adicionais para atualizar a pull request.
Depois que uma pull request for aberta, GitHub Enterprise Server armazena todas as alterações remotamente. Em outras palavras, os commits em uma pull request estão disponíveis em um repositório mesmo antes da pull request sofrer merge. Isso significa que é possível fazer fetch de uma pull request aberta e recriá-la como sua própria.
Qualquer pessoa pode abrir uma pull request anteriormente aberta para continuar trabalhando nela, testá-la ou, até mesmo, abrir uma nova pull request com alterações adicionais. No entanto, somente colaboradores com acesso push podem fazer merge de pull requests.
- No nome do repositório, clique em Problemas ou Pull requests.
- Na lista "Pull Requests", clique na pull request da qual deseja fazer merge.
- Encontre o número da ID da pull request inativa. Essa é a sequência de dígitos certa após o título da pull request.
- Abra TerminalTerminalGit Bash.
- Faça fetch da referência à pull request com base no número da ID, criando um branch no processo.
$ git fetch origin pull/ID/head:BRANCHNAME
- Alterne para o novo branch que se baseia nesta pull request:
[main] $ git checkout BRANCHNAME > Alternado para um novo branch 'BRANCHNAME'
- Nesse ponto, você pode fazer qualquer coisa que desejar com este branch. É possível executar alguns testes locais ou fazer merge de outros branches no branch.
- Quando estiver pronto, você poderá fazer push do novo branch:
[pull-inactive-pull-request] $ git push origin BRANCHNAME > Counting objects: 32, done. > Delta compression using up to 8 threads. > Compressing objects: 100% (26/26), done. > Writing objects: 100% (29/29), 74.94 KiB | 0 bytes/s, done. > Total 29 (delta 8), reused 0 (delta 0) > To https://hostname/username/repository.git > * [new branch] BRANCHNAME -> BRANCHNAME
- Crie uma pull request com seu novo branch.
Erro: falha ao fazer push de algumas refs
O namespace refs/pull/
remoto é somente leitura. Se você tentar fazer push de qualquer commit nele, este erro será exibido:
! [remote rejected] HEAD -> refs/pull/1/head (deny updating a hidden ref)
error: failed to push some refs to 'git@github.local:USERNAME/REPOSITORY.git'
Dica: ao remover ou renomear uma referência remote, seu namespace refs/pull/origin/
local não será afetado pelas chamadas a git-remote
.