5 ms·
> 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 remov
by bilekas 7mo ago
> 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.
- charcircuit 7mo agoHow 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.
- bilekas 7mo agoBecause it was already mentioned that it was a bad call by an internal dev. > https://news.ycombinator.com/item?id=47573233 https://news.ycombinator.com/item?id=47573233 > 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.
- account42 7mo agoYou 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.