You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Currently when using GitHub File Diff, the API call out is getting all files changed and not checking if a file is deleted. This will sometimes cause an issue as PMD will try and analyse a deleted file which will throw an error.
The fix that needs to be applied is filtering out which files have been deleted after making the API call.
The text was updated successfully, but these errors were encountered:
Currently when using GitHub File Diff, the API call out is getting all files changed and not checking if a file is deleted. This will sometimes cause an issue as PMD will try and analyse a deleted file which will throw an error.
The fix that needs to be applied is filtering out which files have been deleted after making the API call.
The text was updated successfully, but these errors were encountered: