Tag pull requests

In response to developer feedback, GitHub has retracted its controversial feature allowing Copilot to insert promotional messages into pull requests.