Editing repo-level settings is confusing for project-level settings

If I have two users set as default users at the project level:

I can then remove a single user at the repo level and it works fine:

However, if I remove the other user and press save, I end up with the two users again:

This is rather confusing:

• If there are two Default users at the project level, we can remove one user at the repo level without problem.

• If there's a single Default user at the project level, trying to remove it at the repo level just reverts back to the project setting, so we're back were we started.

Could the UI show when a setting is currently inherited from the project to the repo?

I think this is a good feature to add. It might be a little bit of work though, the current endpoints just do an overlay, so the data never indicates where a value came from.