Comment by zozbot234
8 days ago
That was actually a real PR to the website repo from a different GitHub user; this was directly committed.
8 days ago
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.