In coding, a “pull request” is when you write a code patch to a piece of software and ask the project maintainer to pull it in. GitHub Copilot has started adding advertising to your pull requests! …