GITHUB#7820: refuse to exorcise an index whose commit point could not be read - #16474
Open
serhiy-bzhezytskyy wants to merge 1 commit into
Open
GITHUB#7820: refuse to exorcise an index whose commit point could not be read#16474serhiy-bzhezytskyy wants to merge 1 commit into
serhiy-bzhezytskyy wants to merge 1 commit into
GitHub Advanced Security / CodeQL
succeeded
Aug 2, 2026 in 4s
No new alerts in code changed by this pull request
Loading