Summary

Deleting a user from repository does not delete them from Default Reviewer list.

Steps to Reproduce

1. Add a user to a repository.
2. Add them to the Default reviewer list.
3. Delete the user from the repository.

Expected Results

The user will still appear under Default Reviewer list.

Actual Results

User deletion should delete a user from Default reviewer list.

Workaround

Manual deletion of the deleted user from Default reviewer list.