Why wouldn't Guix just leave the RMS's GNU Project then?
GNU is a collaboration of free software projects that was started and is lead by Richard Stallman. Remove the leader, and what's left is just a collection of projects sharing the GNU brand. And it looks to me that this is what the Guix maintainers are trying to do: reduce the GNU project to a mere formality (participation in it would mean no more than a simple declaration of support for Free software), keep the GNU brand, position Guix as THE GNU operating system.
Why wouldn't Guix just leave the RMS's GNU Project then?
GNU is a collaboration of free software projects that was started and is lead by Richard Stallman. Remove the leader, and what's left is just a collection of projects sharing the GNU brand. And it looks to me that this is what the Guix maintainers are trying to do: reduce the GNU project to a mere formality (participation in it would mean no more than a simple declaration of support for Free software), keep the GNU brand, position Guix as THE GNU operating system.