2 ms·

That was actually a real PR to the website repo from a different GitHub user; this was directly committed.

• joeyh 9mo ago
  That PR was apparently accepted by the operator, not by the bot. Kind of weird.
• deleted 9mo ago
  [deleted]