AVISO: Rama 17.0 empujada forzada

[pedrobaeza]

Debido a que el bot empujó un archivo DEB de 30 MB:

6ab2763#diff-de4e69c46f94e742c70468b9e0f08ebc21bf93aa8a5b98463faf63effa1e7c8a

que provoca esa sobrecarga cada vez que se hace un fetch de la rama, o peor, un pull en cualquier rama, se ha eliminado dicho archivo en el commit origen, y se ha hecho un push forzado para no tener que desperdiciar esos recursos cada vez que alguien descargue el repositorio.

Si se hubiera eliminado de forma normal, significaría el doble de tamaño (~60 MB), ya que serían 30 MB de diff para añadirlo, y otros 30 MB de diff para quitarlo.

Si se mantiene una copia del repo en local, la forma de actualizarlo es:

• git fetch origin 17.0
• git reset --hard origin/17.0

Gracias por la comprensión y perdonad las molestias.