]> source.dussan.org Git - sonarqube.git/commitdiff
SONAR-22621 Edit role mapping title
authorSarath Nair <sarath.nair@sonarsource.com>
Fri, 26 Jul 2024 11:00:11 +0000 (16:30 +0530)
committersonartech <sonartech@sonarsource.com>
Mon, 29 Jul 2024 20:02:48 +0000 (20:02 +0000)
sonar-core/src/main/resources/org/sonar/l10n/core.properties

index 7584bc9e95dd15acc943f5c9217fe6708dd7c6b6..865575a9a748ca99533492f5deb0e17ad4531b25 100644 (file)
@@ -1614,7 +1614,7 @@ settings.authentication.github.configuration.validation.details.org_not_found={0
 settings.authentication.github.configuration.roles_mapping.title=Role permission mapping
 settings.authentication.github.configuration.roles_mapping.description=When synchronizing users and groups, SonarQube assigns permissions based on GitHub user and team roles. You can customize the mapping of permissions. The new mapping will take effect at the next synchronization.
 settings.authentication.github.configuration.roles_mapping.button_label=Edit mapping
-settings.authentication.github.configuration.roles_mapping.dialog.title=GitHub Roles Mapping
+settings.authentication.github.configuration.roles_mapping.dialog.title=Global GitHub role mapping
 settings.authentication.github.configuration.roles_mapping.dialog.roles_column=Roles
 settings.authentication.github.configuration.roles_mapping.dialog.add_custom_role=Add custom role:
 settings.authentication.github.configuration.roles_mapping.dialog.custom_roles_description=When a custom role name added here matches an existing GitHub custom role in any of your organizations, the mapping applies to all users with this custom role. If an existing GitHub custom role has no exact match in this list, the permissions of its inherited base role are mapped.