But that's a policy on name-squatting. Something that doesn't apply here. The creator isn't squatting on the name they created and I would be surprised if Github would commute the name at their discretion unless considerable time passed, something I don't necessarily have a problem with on a long enough time scale. Though there there's a point on that time scale where I'd expect the new owners to just consider a new name.