diff options
author | Yarden Shoham | 2023-02-18 15:41:31 +0200 |
---|---|---|
committer | GitHub | 2023-02-18 21:41:31 +0800 |
commit | feed1ff38f88115f27ea2357a97c21e5277aac88 (patch) | |
tree | b67193dfdb2cf3e8d4553ce1e14615115c5b88b0 /options | |
parent | bd66fa586a0da58c4cf2f5f8390aef4bac9d0527 (diff) |
Rename "People" to "Members" in organization page and use a better icon (#22960)
`member` is how it's named in the code
Closes #22931
Before | After
--- | ---
![image](https://user-images.githubusercontent.com/20454870/219781155-69a8476e-0f04-4b70-bda5-ea6fa8ce676c.png)
|
![image](https://user-images.githubusercontent.com/20454870/219780887-61644c27-36a2-4e1f-8f98-be3911883b49.png)
---------
Signed-off-by: Yarden Shoham <hrsi88@gmail.com>
Co-authored-by: delvh <leon@kske.dev>
Diffstat (limited to 'options')
-rw-r--r-- | options/locale/locale_en-US.ini | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/options/locale/locale_en-US.ini b/options/locale/locale_en-US.ini index 8410fef81..51ae8c7a0 100644 --- a/options/locale/locale_en-US.ini +++ b/options/locale/locale_en-US.ini @@ -2364,7 +2364,7 @@ org_full_name_holder = Organization Full Name org_name_helper = Organization names should be short and memorable. create_org = Create Organization repo_updated = Updated -people = People +members = Members teams = Teams code = Code lower_members = members |