Notify when removing an existing repository
A follow-up of !3176 (merged).
We'd like to see when the edge case is present and the repository is deleted.
A follow-up of !3176 (merged).
We'd like to see when the edge case is present and the repository is deleted.