@benhamill Why are you asking that question here when you could be making a pull request right now? 😛
@benhamill FWIW, if you rename a project in Github, it leaves a redirect behind that works with existing git remotes
@beatmania Oh nice. Good to know.
@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.