✨Ben Hamill✨ is a user on octodon.social. You can follow them or interact with them if you have an account anywhere in the fediverse.
If you don't, you can sign up here.
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.
@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.
@benhamill sounds a bit like "mastobation" .. :D
@benhamill Why are you asking that question here when you could be making a pull request right now? 😛