Where are members of one group saved?

[Yingchun Li]

Hi,

I cloned the All-Users.git repository and checked out to the branch refs/meta/group-names. Here, I only found commits related to group names but could not locate information on the group members.

Could you please let me know where the members of a group are stored? One reason I ask is that I am unable to remove some users through the UI, as mentioned in this email [1]. Therefore, I am attempting to delete the user via Git.

[1]https://groups.google.com/g/repo-discuss/c/ZgSAeFyQinw/m/SYtA_-qCAgAJ

[Matthias Sohn]

On Thu, May 15, 2025 at 3:12 PM Yingchun Li <sword.l...@gmail.com> wrote:

Hi,

I cloned the All-Users.git repository and checked out to the branch refs/meta/group-names. Here, I only found commits related to group names but could not locate information on the group members.

Could you please let me know where the members of a group are stored? One reason I ask is that I am unable to remove some users through the UI, as mentioned in this email [1]. Therefore, I am attempting to delete the user via Git.

group storage is documented in https://gerrit-review.googlesource.com/Documentation/config-groups.html

and account storage in https://gerrit-review.googlesource.com/Documentation/config-accounts.html

 

[1]https://groups.google.com/g/repo-discuss/c/ZgSAeFyQinw/m/SYtA_-qCAgAJ

--
--
To unsubscribe, email repo-discuss...@googlegroups.com
More info at http://groups.google.com/group/repo-discuss?hl=en

---
You received this message because you are subscribed to the Google Groups "Repo and Gerrit Discussion" group.
To unsubscribe from this group and stop receiving emails from it, send an email to repo-discuss...@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/repo-discuss/63147164-e93b-4dc5-b298-1e074aaf7c8an%40googlegroups.com.

[Yingchun Li]

On Thursday, May 15, 2025 at 9:51:49 PM UTC+8 Matthias Sohn wrote:

On Thu, May 15, 2025 at 3:12 PM Yingchun Li <sword.l...@gmail.com> wrote:

Hi,

I cloned the All-Users.git repository and checked out to the branch refs/meta/group-names. Here, I only found commits related to group names but could not locate information on the group members.

Could you please let me know where the members of a group are stored? One reason I ask is that I am unable to remove some users through the UI, as mentioned in this email [1]. Therefore, I am attempting to delete the user via Git.

group storage is documented in https://gerrit-review.googlesource.com/Documentation/config-groups.html

Yes, this works, I can edit the file members, and push to server, and finally the boring "Name of user Not set" users disappeared.

Thank you Matthias!