HEAD

Contactar con el profesor

Es un puntero especial que apunta a la rama activa.

Sólo puede apuntar a ramas y estas deben ser locales. No puede apuntar a ramas remotas ni tags. De lo contrario tendré un detached head.

Si no indicamos nada, al ejercutar git reflog nos muestra todos los movimientos de HEAD.

Los reflog son inherentes a la máquina dónde estás trabajando.

Borrar una rama remota

Primero borro la etiqueta y luego la rama:

#Borro la etiqueta
git branch -d -r origin/devel

#Borro la rama
git push origin:devel

Trabajo con forks

El botón de fork de un proyecto me lo lleva a mi cuenta de github. Luego puedo hacer clone del proyecto para manipularlo en mi equipo.

git clone https://github.com/monteserin/destinyway.git

.. hago cambios en el repo que he clonado

En github me aparece el botón “Pull Request” que me permite solicitar el envío al repositorio principal.

Después de que el integrador integre los cambios las personas que lo han enviado no los verán en sus repositorios forkeados. Tendrán que volver a cojerlos.

Reglas del juego

Juego 1

Las reglas del juego son: “Cada persona hace sus cambios y hay una o varias personas que se dedican a integrar el código enviado. Si no da conflictos, estupendo, en caso contrario, habría que corregirlos”. Ventajas: Las personas que envían su código no tienen que tener grandes conocimientos de git. Simplemente hacen envíos. Desventajas: Las personas que integran asumen responsabilidades de todo el equipo y deben comprender en cierta medida el código de las personas que envían.

Juego 2

Todos los desarrolladores se comunican entre ellos para hacer los merges. Todos los integrantes del equipo pueden hacer el pull request.

  1. Cada desarrollador forkea el proyecto principal y se crea una rama propia dentro de su fork.
  2. Hace un push para subir sus cambios al repositorio remoto.
  3. Recupero los cambios de otro desarrollador. Para esto, tengo dos opciones:
    • Le pido la url del repo a la persona que tiene los cambios que quiero cojer
    • Se va al proyecto original github → network → Selecciono al otro usuario →
  4. Añador mi repo al mío: git remote add fernandorepo https://github.com/scoxove/prmanual.git
  5. Mergeo mis cambios con la rama del repo añadido para tener los cambios hechos por otro desarrollador.
  6. Hago un pull request al proyecto original del que comenzaron todos los forks.

Juego 3 – lugartenientes

Todos los desarrolladores se comunican entre ellos para hacer los merges. Sin embargo, no todos pueden hacer los pull request, sino que existen jerarquías para decidir quien las hace.

Así es como se gestiona el núcleo de linux.

← Hacer un merge entre ficheros que son diferentes
Error típico cuando tenemos un repositorio de git dentro de un repositorio de git →

Aviso Legal | Política de privacidad