Skip to content
New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

fix: bug with detecting deleted files #342

Merged
merged 1 commit into from
Oct 1, 2023

Conversation

jackton1
Copy link
Member

@jackton1 jackton1 commented Oct 1, 2023

Closes: #339

@jackton1 jackton1 added the merge when passing Merge the PR automatically once all status checks have passed label Oct 1, 2023
@repo-ranger repo-ranger bot merged commit fe1db7a into main Oct 1, 2023
@repo-ranger repo-ranger bot deleted the fix/bug-with-detecting-deleted-files branch October 1, 2023 02:17
# for free to join this conversation on GitHub. Already have an account? # to comment
Labels
merge when passing Merge the PR automatically once all status checks have passed
Projects
None yet
Development

Successfully merging this pull request may close these issues.

[BUG] Deleted files are not detected
1 participant