-
Notifications
You must be signed in to change notification settings - Fork 595
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Error when handling outdated comments #2831
Labels
bug
Issue identified by VS Code Team member as probable bug
Comments
@sfc-gh-sgiesecke do you have a PR in a public repo that you can share a link to? |
Unfortunately not, I have used the extension only with a private repo so far. |
[Moved to new issue #2997 since there is no error.] |
I haven't been able to reproduce this issue and there have been no further reports. If it happens again I will investigate further! |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Steps to Reproduce:
Expected behaviour:
Outdated comments are somehow visible
Actual behaviour:
Errors in log like
The text was updated successfully, but these errors were encountered: