On Thu, Mar 12, 2026 at 12:30 PM Leo Sandoval via Grub-devel <[email protected]> wrote: > > We are announcing the new place where the GRUB repository [1] will be hosted > and its corresponding mailing list [2]. The repository at freedesktop [1] > would > become soon the upstream repository, so new contributions will need to > be done through merge-requests. > > The decision to migrate to a more modern repository system (freedesktop is > indeed a gitlab instance) is clear and based on several proposed > options, freedesktop turned out to be the best option. More > information about this migration is comming soon.
This is certainly a welcome change! However, I am curious who was involved in the decision and where it was discussed? _______________________________________________ Grub-devel mailing list [email protected] https://lists.gnu.org/mailman/listinfo/grub-devel
