Who the hell called it tootsuite/documentation and not tootsuite/mastodoc?
@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.
@beatmania Oh nice. Good to know.
@benhamill FWIW, if you rename a project in Github, it leaves a redirect behind that works with existing git remotes