El pull request número 4262 del repositorio MariaDB/server, titulado 'MDEV-38328: Promote getting to 10k GitHub stars in server log and client prompt', propone añadir una línea en el prompt del cliente mysql y otra en el log del servidor invitando a los usuarios a regalar una estrella al repositorio en GitHub para alcanzar las 10.000. El autor, el usuario 'ottok', defiende que el mensaje se inserta de forma que sea fácil de aplicar a versiones antiguas mediante cherry-pick y que el texto podría cambiarse después para promocionar otros objetivos. La propuesta abrió un debate interno en el proyecto: el 12 de diciembre de 2025 el maintainer 'gkodinov' comunicó que, tras discutirlo internamente, no se aceptaba en ese momento, aunque poco después la Fundación MariaDB reabrió la posibilidad. El 20 de enero de 2026, el mismo 'gkodinov' solicitó cambios y propuso un diff alternativo que limita la promoción a versiones con SERVER_MATURITY_LEVEL inferior a MariaDB_PLUGIN_MATURITY_STABLE, además de suavizar el texto a 'Help others discover MariaDB. Star it on GitHub'. El PR sigue abierto a la espera de que el autor actualice el código según la propuesta del revisor. La discusión refleja el conflicto entre visibilidad comunitaria y profesionalidad percibida en un sistema gestor de bases de datos maduro.
Noticias agregadas con IA