I think we should have an issue for this, will I open one?

It is a known problem that which settings can be overridden by projects is not visible. As I said, I remember a discussion about making settings that can be overridden visible in the UI but I can't find it.

But like you said, we did not find a clean and easy solution IIRC.

If you can't find an issue for it (your search may be better than mine :) then certainly make one, it won't hurt if someone finds a duplicate later.

Perhaps the discussion was just on some unrelated issue/PR, we have the bad habit of doing that :(

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub, or mute the thread.