Fix repo_index_status lingering when deleting a repository (#7734)
parent
6c0c5c5310
commit
09463d17e4
Loading…
Reference in new issue