Alex Ross

Let's see if we have GH API that will let us do this...

Closing, as we have https://github.com/microsoft/vscode-pull-request-github/issues/7302 to track this and users who can actually do something about turning coding agent on would have had to turn it off manually to end...

Last I checked, the GitHub API doesn't give us a way to do this.

Great idea. This notification was from before we could display issues.

It does sound similar to https://github.com/microsoft/vscode-pull-request-github/issues/6087

Just like https://github.com/microsoft/vscode-pull-request-github/issues/6087, I can't repro this. Can you set the log level of GitHub Pull Request to trace, repro, then share the output of GitHub Pull Request? I'm not...

Closing because no further info was provided.