Quizás he malentendido qué hacen realmente los sinónimos de etiquetas.
Ya no quiero que ubuntumate se utilice como etiqueta, sino que si alguien la selecciona, debería redirigirse a la ubuntu-mate, que luego será la etiqueta principal.
¿O debería simplemente renombrar ubuntmate y, de todas formas, se actualizarán todos sus temas?
Estaba buscando una manera de no eliminar ni renombrar la etiqueta para que tengamos algún tipo de recurso de archivo, sino simplemente redirigir la etiqueta en el futuro.
Quizás necesito dormirlo primero :guiño: