Si todas tus comprobaciones están pasando y no tienes ningún cambio solicitado por otros estudiantes, adelante, puedes hacer merge de tu pull request:
- Abre tu Pull Request para hacer merge.
- Navega hasta la parte inferior del Pull Request y haz clic en el botón Merge pull request.
- Puedes aceptar el mensaje por defecto para el merge commit.
- Haz clic en Confirm merge.
- Haz clic en Delete branch para eliminar el branch, dado que ya no contiene una tarea o variación en la que se esté trabajando.
Dime por qué
Merge explicado
Cuando haces merge (combinas) de tu branch, estás cogiendo el contenido e historia de la rama que creaste y añadiéndolo al contenido e historia del branch master o rama principal.
Claves para hacer merge en equipos
Muchos proyectos han establecido normas acerca de quién debería (o no debería) hacer merge de un pull request:
- Algunos dicen que debería ser la persona que creó el pull request, porque serán quienes tengan que lidiar con cualquier problema que surga del merge.
- Otros dicen que debería ser una única persona en cada proyecto para garantizar la consistencia.
- Y otros dicen que debería ser cualquiera menos la persona que creó el pull request.
Ésta es una discusión que deberías tener con los otros miembros de tu equipo.
Herramientas para merges más seguros
GitHub también dispone de herramientas que pueden ayudarte a garantizar que el código que combinas es seguro. Por ejemplo, este repositorio utiliza integración continua para validar la sintaxis en tu archivo y utliliza branches protegidos para evitar que hagas merge del branch si tu archivo contiene errores. ¡Emplearemos más tiempo en ver estas características en otra clase!
Utilizando la revisión de código
GitHub también incluye una característica de revisión de código que permite a otros indicar que han revisado el código y que o bien lo aprueban (Approve) o que solicitan cambios (Request changes).
Hacer merge de tu pull request
Cuando se han atajado todos los comentarios y todas las comprobaciones son correctas, estás listo para hacer merge de tu pull request. Este video te mostrará lo fácil que es: