The technical people managing the repos might just be opposed to name changing in general (seeing how a boatload of links, references, documentation would require updating, some of which you don't even control), and meanwhile those people might feel the "misbranding" drawbacks much less (if at all).
The technical people managing the repos might just be opposed to name changing in general (seeing how a boatload of links, references, documentation would require updating, some of which you don't even control), and meanwhile those people might feel the "misbranding" drawbacks much less (if at all).