En el fork que hice bajo mi usuario, configuré el mirroring apuntando a este repositorio, en el modo PUSH por que es el único que estaba activo, aunque mi intuición me dice que tendría más sentido en modo PULL (si es que tal cosa existe). Vamos a ver qué pasa, cuál de los dos se actualiza si es que alguno lo hace.
