If i recall correctly, they have the same name because they were once the same project. Renaming would likely break many workflows/bookmarks that people use to

If i recall correctly, they have the same name because they were once the same project. Renaming would likely break many workflows/bookmarks that people use to tell the difference. Maybe mirroring the existing repo to another with origin in the name would be a compromise?