Hacker News new | ask | show | jobs
by johncalvinyoung 1926 days ago
Ha. Had trouble with a PR, checked status page, no problems. Merged manually, open Hacker News, and there it is.