ConceptoBloque 4 · Pull requests y forks
Tu computadora todavía no se enteró
Comandos de esta diapositiva
git switch maingit pullgit branch -d ramagit fetch --prune
Explicación
Cuando el PR se integra en GitHub, solo cambia main en GitHub. Tu computadora todavía no se entera, igual que con el fetch del Bloque 3.
El orden después del merge
- En GitHub, Delete branch en el PR integrado. Si no aparece, el repositorio borra las ramas solo.
- En la terminal, trae
mainy limpia:
git switch main
git pull
git branch -d rama
git fetch --prune
- Borrar la rama no borra los commits: siguen en
main. Si se borró por error, el PR tiene un botón Restore branch. - Close pull request descarta un PR sin integrarlo; la rama sigue existiendo hasta que alguien la borre.
- Con Squash o Rebase and merge,
git branch -ddicenot fully merged: confirma que el PR dice Merged y usa-D.