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