[PR #156] [CLOSED] Improved repository label terminology (private -> personal) #157

New issue

Closed

opened 2026-02-27 15:55:21 +03:00 by kerem · 0 comments

kerem commented

2026-02-27 15:55:21 +03:00

Owner

📋 Pull Request Information

Original PR: https://github.com/RayLabsHQ/gitea-mirror/pull/156
Author: @gwku
Created: 11/26/2025
Status: ❌ Closed

Base: main ← Head: ui/improve-repository-label-terminology

📝 Commits (1)

219f73c ui: improve repository label terminology

📊 Changes

1 file changed (+2 additions, -2 deletions)

View changed files

📝 src/components/config/GitHubMirrorSettings.tsx (+2 -2)

📄 Description

The current label "Include private repositories" is confusing because it can be misinterpreted as referring to repository visibility (public vs private repositories), when it actually refers to repository ownership (personal repositories owned by the user vs organization repositories).

Changed 'private repositories' to 'personal repositories' for better clarity in GitHub mirror settings.

_{🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.}

## 📋 Pull Request Information **Original PR:** https://github.com/RayLabsHQ/gitea-mirror/pull/156 **Author:** [@gwku](https://github.com/gwku) **Created:** 11/26/2025 **Status:** ❌ Closed **Base:** `main` ← **Head:** `ui/improve-repository-label-terminology` --- ### 📝 Commits (1) - [`219f73c`](https://github.com/RayLabsHQ/gitea-mirror/commit/219f73c84db0e00ab7a07c1fbfb252b9b779f3c4) ui: improve repository label terminology ### 📊 Changes **1 file changed** (+2 additions, -2 deletions) <details> <summary>View changed files</summary> 📝 `src/components/config/GitHubMirrorSettings.tsx` (+2 -2) </details> ### 📄 Description The current label "Include private repositories" is confusing because it can be misinterpreted as referring to repository **visibility** (public vs private repositories), when it actually refers to repository **ownership** (personal repositories owned by the user vs organization repositories). Changed 'private repositories' to 'personal repositories' for better clarity in GitHub mirror settings. --- <sub>🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.</sub>