diff --git a/options/locale/locale_de-DE.ini b/options/locale/locale_de-DE.ini index 90e946b424..3d6d687bf7 100644 --- a/options/locale/locale_de-DE.ini +++ b/options/locale/locale_de-DE.ini @@ -1991,8 +1991,10 @@ settings.collaboration.undefined=Nicht definiert settings.hooks=Webhooks settings.githooks=Git-Hooks settings.basic_settings=Grundeinstellungen -settings.federation_settings=Federation-Einstellungen -settings.federation_labelname_repo=Federation Repositories +settings.federation_settings=Föderationseinstellungen +settings.federation_labelname_repo=Föderierte Repositories +settings.federation_federated_repo_list=Föderierte Repositories: Dieses Repo auf anderen Servern. +settings.federation_repo_list_empty=Dieses Repo ist noch nicht mit anderen Repos föderiert... settings.mirror_settings=Mirror-Einstellungen settings.mirror_settings.docs=Richte Dein Repository so ein, dass es automatisch Commits, Tags und Branches mit einem anderen Repository synchronisieren kann. settings.mirror_settings.docs.disabled_pull_mirror.instructions=Richte Dein Projekt so ein, dass es automatisch Commits, Tags und Branches in ein anderes Repository pusht. Pull-Mirrors wurden von Deinem Website-Administrator deaktiviert. diff --git a/options/locale/locale_en-US.ini b/options/locale/locale_en-US.ini index a53dfddd79..028eb5148d 100644 --- a/options/locale/locale_en-US.ini +++ b/options/locale/locale_en-US.ini @@ -2044,6 +2044,8 @@ settings.githooks = Git Hooks settings.basic_settings = Basic Settings settings.federation_settings=Federation Settings settings.federation_labelname_repo=Federation Repositories +settings.federation_federated_repo_list=Federated repositories: This repo on other servers. +settings.federation_repo_list_empty=This repository has not federated with other repos yet... settings.mirror_settings = Mirror Settings settings.mirror_settings.docs = Set up your repository to automatically synchronize commits, tags and branches with another repository. settings.mirror_settings.docs.disabled_pull_mirror.instructions = Set up your project to automatically push commits, tags and branches to another repository. Pull mirrors have been disabled by your site administrator. diff --git a/templates/repo/settings/options.tmpl b/templates/repo/settings/options.tmpl index 0aba59c794..10d863951e 100644 --- a/templates/repo/settings/options.tmpl +++ b/templates/repo/settings/options.tmpl @@ -80,6 +80,10 @@
+
+ + +
{{end}}