No you're talking about the first example. On the second example he says > But—gettier!—the email service that the code relied on had itself gone down, at almo

No you're talking about the first example. On the second example he says > But—gettier!—the email service that the code relied on had itself gone down, at almost the exact same time that the change was released. So the error was caused by the email service going down, which is completely independent of the code change/pull request.