Alex Ross

We'd need some work on github.dev and probably the Remote Hub extension to improve this. @joyceerhl FYI.

I'm not able to reproduce this. Can you share the value of `githubPullRequests.queries`? Is this in a public repo, and if so, can you share which one?

I'm still not able to repro. Does @cg2916's work around work for everyone? If not, I'll re-open the issue.

Can you share where your non-GitHub submodules are hosted? I tried with BitBucket, but I can't repro the issue. I do see that the repo shows in the Pull Requests...

To verify: 0. Install the latest pre-release version of GitHub Pull Requests 1. Have a clone of a repository with a github.com remote. 2. Have a repository on some other,...

Thanks for your patience on this! I'll look at it next week when we start our annual clean up iteration.

I'll add a decoration for it. We guess based on context because it seems likely that if you're creating an issue within VS Code you probably want to create an...

Hmm, if you create a lot of issues back to back a decoration won't work because we don't know when a tab is closed to remove the decoration properly. You...

I've added logging to track this down as I'm unable to repro or see what could cause this. @rzhao271, starting with Thursday's pre-release could you set the default log level...

Closing because no further info was provided.