> 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.
> We've been including product tips in PRs created by Copilot coding agent. The goal was to help developers learn new ways to use the agent in their workflow. But hearing the feedback here, and on reflection, this was the wrong judgement call. We won't do something like this again.
Either way, even if it was a mistake, giving the ability to modify someone else's PR without prompt, in any scenario should have been tested, oh I don't know.. At least once.
You don't seriously believe that a company's PR release is the same as the truth or what the people inside that company believe. And no, they don't deserve the benefit of the doubt after the umpteenth time that their "mistake" caused an outrage.
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.