Skip to content
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

[chore] - Do not skip scanning commits if scanning comments errors #1578

Closed
wants to merge 1 commit into from

Conversation

ahrav
Copy link
Collaborator

@ahrav ahrav commented Jul 30, 2023

  • An error while scanning comments should not prevent us from scanning the repo. We should simply log the error and try to scan the repo.

@ahrav ahrav requested a review from a team as a code owner July 30, 2023 03:16
@zubairk14
Copy link
Contributor

zubairk14 commented Jul 30, 2023

oooh good idea - did you run into a situation where this was causing problems?

@zubairk14 zubairk14 changed the title [chore] - Dont skip scanning commits if scanning comments errors [chore] - Do not skip scanning commits if scanning comments errors Jul 30, 2023
@ahrav
Copy link
Collaborator Author

ahrav commented Jul 30, 2023

oooh good idea - did you run into a situation where this was causing problems?

I was fixing a separate issue for a data race and then stumbled upon this. The actual chance where we are not able to scan comments should be really really low in practice, but figured i'd just update it while was poking around this part of the code.

@mcastorina
Copy link
Collaborator

#1552 also partially addresses this by giving precedence to scanning the repo over the comments.

@ahrav ahrav closed this Jul 30, 2023
@ahrav ahrav deleted the chore-github-scan-comments branch July 30, 2023 04:45
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Development

Successfully merging this pull request may close these issues.

3 participants