@beatmania I don't think you can PR to change a repo name. Also, changing the name now would break everyone's local references to that remote. Not worth it.