> Martin Woodward, VP of Developer Relations, GitHub, said in a statement: "GitHub does not and does not plan to include advertisements in GitHub. 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."

What a joke. It literally went in and edited the PR description 8 minutes after the user submitted it.

That's not a tip somehow ending up in the wrong context. If it were it would have happened at submission time. At least be honest. Yuck.