alt Hacker News> We identified a programming logic issue with a GitHub Copilot coding agent tip that surfaced in the wrong context within a pull request comment. We have removed agent tips from pull request comments moving forward.
Why does this read as they are saying it was a mistake ? Because it absolutely wasn't, and it will absolutely happen again, maybe just less obvious next time.
How do you know better if it was a mistake than GitHub themselves? It is possible that the tip was only supposed to show up in some other place and it accidentally started getting added somewhere it shouldn't have been.