Allow filtering for project-specific members in group members list
When viewing the members of a project that is a part of a group, those who acquired membership via the group are displayed exactly the same as those who were specifically added. There is no way to tell the two sets of users apart. This can be problematic.
For example, projects that are shared between the GitLab team and customers have over 250 members before we even add any customers. It therefore becomes difficult to tell who is a customer -- and a member of only that project -- and who is part of the GitLab team.
In this sample I created a blank project that includes the GitLab team (for sake of space, only two users are shown):
260 users belong to the project and we have no idea which are included from a group and which are included only in this project. Additionally, we have no idea which users might be members of the group and have specific (perhaps higher) permission to the project,
In the sorting dropdown, present the option to only show Members who have project-specific permissions (hide members who've inherited permissions from the group).
See how we handle this for archived projects for a pattern we can reuse: