authz: filter out soft-deleted repositories when syncing permissions (!9094) · Merge requests · Administrator / sourcegraph

Administrator requested to merge jc/authz-store-filter-out-soft-deleted-repos into master Mar 18, 2020

Created by: unknwon

This PR makes our PermsStore.RepoIDsWithNoPerms and PermsStore.ReposIDsWithOldestPerms methods to filter out soft-deleted repos, otherwise we'll always get these deleted repos as repos have oldest permissions because their permissions in fact aren't getting updated.

Fixes #9076

authz: filter out soft-deleted repositories when syncing permissions

Merge request reports