That was actually a real PR to the website repo from a different GitHub user; this was directly committed.
That PR was apparently accepted by the operator, not by the bot. Kind of weird.
alt Hacker News
That PR was apparently accepted by the operator, not by the bot. Kind of weird.