Hello, What is the current situation of the Git repository conversion? Supposedly, the current repository needs fixing some things, which is why we ended up with the "wesnoth-old" name on GitHub last April. Is this still being worked on?
Most importantly, is it *really* necessary to do it? I'd personally prefer if we renamed the current "wesnoth-old" repository to "wesnoth" and documented the errata separately (e.g. in a wiki page) to save everyone's time and energy. Cloning a > 100 MiB repository (we're talking of a nearly 1.8 GiB beast in this particular case) is something people on low-bandwidth or prepaid mobile broadband connections would rather avoid unless it's absolutely essential. Also, speaking as one of the current repository admins, I'd prefer if we didn't have to switch to a new repository with incompatible refs. Renaming the existing repository is easy (and IIRC GitHub will even generate redirects); dealing with existing pull request history for migrate to a new incompatible repository isn't. -- Regards Ignacio R. Morelle <shadowm> _______________________________________________ Wesnoth-dev mailing list Wesnoth-dev@gna.org https://mail.gna.org/listinfo/wesnoth-dev
