I don't mind people doing PRs for these little things but absolutely hate when bots do it. We have a ton of public repos, many of which are old and abandoned (although not as bad now that you can archive them). Getting emails for each of them is annoying to say the least.