<lexicon lang="fr" params="getExtraParams()">

  <entry>
    <base>GIT_NAVIGATION_DESCRIPTION</base>
    <trans>Dépôts Git</trans>
  </entry>

  <entry>
    <base>GIT_FORM_TITLE</base>
    <trans>Créer, modifier ou enlever le dépôt Git.</trans>
  </entry>

  <entry>
    <base>GIT_HOME_TITLE</base>
    <trans>Créer, modifier ou enlever le dépôt Git.</trans>
  </entry>

  <entry>
    <base>GIT_HOME_DESCRIPTION</base>
    <trans><![CDATA[ <p>Ce panneaux centralise la gérance du dépôt Git sur ce serveur.</p> <p>Les dépôt configurer Git son disponible via HTTPS exemple https://{$serverName}/git/repository.git.</p> <p>Quand le programme Gitweb est aussi installé, le dépôt Git peut être vue avec une interface web https://{$serverName}/git</p> <p>Pour la documentation ou plus de détails sur comment utiliser Git, faire un clic sur le logo de Git à droite.</p> ]]></trans>
  </entry>

  <entry>
    <base>GIT_REPOSITORY_ADD_BUTTON</base>
    <trans>Ajouter un dépôt Git</trans>
  </entry>

  <entry>
    <base>GIT_CONFIGURE_BUTTON</base>
    <trans>Configurer Git</trans>
  </entry>
  
  <entry>
    <base>GIT_REPOSITORY_LIST_DESCRIPTION</base>
    <trans><![CDATA[ <p>La table ci-dessous contient la liste des dépôt Git configurer sur ce serveur. Les entrées en <b>gras</b> dans les colonnes <b>Pull Access</b> et <b>Push Access</b> corresponde au groupe d'usager sur ce serveur. Les entrées normales son des usagers. <i>Anonyme</i> est qu'il n'y a pas de contrôle d'accès en vigueur. </p><p>Vous pouvez modifier la configuration ou effacer un dépôt Git en faisant un clic sur la ligne de commande correspondante dans la colonne <b>Action</b></p>]]></trans>
  </entry>
 
  <entry>
    <base>GIT_ADD_TITLE</base>
    <trans>Créer ou modifier un dépôt Git</trans>
  </entry>
  
  <entry>
    <base>GIT_NAME_FIELD_CREATE_DESC</base>
    <trans>Fournir un nom pour le dépôt Git a être créé. Le dépôt créer va être vide et aura automatiquement l'extension .git. ajouter au nom. Prendre note que le nom doit contenir seulement des lettres minuscules et majuscules, des chiffres, des points, trait d'union et tiret bas. Le nom doit commencer avec une lettre. Exemple:  "johnson", "Intra", et "cust3.prj12" son des noms valides mais "3associates", et "Bus!Partner" ne le son pas. Le nom est limités à {$maxLength} caractères.</trans>
  </entry>

  <entry>
    <base>GIT_NAME_FIELD_MODIFY_DESC</base>
    <trans>Le champ ci-dessous indique le nom du dépôt git Le nom ne peut être modifier.</trans>
  </entry>
  
  <entry>
    <base>GIT_DESCRIPTION_FIELD_DESC</base>
    <trans>La description ci-dessous correspond au fichier de  "description" dans le dépôt Git et est utiliser par GitWeb pour afficher la description du dépôt sur la page GitWeb.</trans>
  </entry>

  <entry>
    <base>GIT_ACCESS_FIELD_DESC</base>
    <trans>Sélectionner le type d'accès du réseaux pour le dépôt. Sélectionner "Local Network Only" si vous voulez bloquer les accès externe au dépôt. Sélectionner "Internet" si vous voulez que le dépôt soit accessible à distance. La configuration d'accès réseaux est un ajout a celui des permissions push/pull des usagers et groupes configurer ci-dessous.</trans>
  </entry>
  
  <entry>
    <base>GIT_REMOVE_TITLE</base>
    <trans>Enlever le dépôt Git.</trans>
  </entry>
    
  <entry>
    <base>GIT_REMOVE_DESCRIPTION</base>
    <trans><![CDATA[ <p> Vous êtes sur le point d'effacé le dépôt Git  "{$name}"  ({$description}). </p><p><b>Tous les fichiers appartenant à ce dépôt Git vont être effacer.</b></p><p>Êtes vous sur de vouloir effacer ce dépôt Git?</p> ]]></trans>
  </entry>

  <entry>
    <base>GIT_REMOVE_BUTTON</base>
    <trans>Enlever le dépôt Git.</trans>
  </entry>

  <entry>
    <base>GIT_CONFIGURATION_TITLE</base>
    <trans>Configuration de Git.</trans>
  </entry>

  <entry>
    <base>GIT_PATH</base>
    <trans>Préfixe du chemin Git.</trans>
  </entry>
  
  <entry>
    <base>GIT_CONFIGURATION_DESCRIPTION</base>
    <trans>Ajuster les paramètres de la configuration globale de Git sur ce serveur.</trans>
  </entry>
  
  <entry>
    <base>GIT_CONFIGURATION_UPDATE_BUTTON</base>
    <trans>Sauver la configuration de Git.</trans>
  </entry>
  
  <entry>
    <base>GIT_LABEL_ALLOW_ACCESS_FROM</base>
    <trans>Permettre l'accès du dépôt depuis</trans>
  </entry>

  <entry>
    <base>GIT_REPOSITORY_NAME</base>
    <trans>Nom du dépôt / Copier URL</trans>
  </entry>

  <entry>
    <base>GIT_ALLOW_FROM</base>
    <trans>Permettre depuis</trans>
  </entry>
  
  <entry>
    <base>GIT_PULL_ACCESS</base>
    <trans>Accès Pull</trans>
  </entry>

  <entry>
    <base>GIT_PUSH_ACCESS</base>
    <trans>Accès Push</trans>
  </entry>

  <entry>
    <base>GIT_ANONYMOUS</base>
    <trans>Anonyme</trans>
  </entry>
  
  <entry>
    <base>GIT_ACCESS_ALLOWED_FROM_LOCAL</base>
    <trans>Réseaux local seulement</trans>
  </entry>

  <entry>
    <base>GIT_ACCESS_ALLOWED_FROM_INTERNET</base>
    <trans>Internet</trans>
  </entry>

  <entry>
    <base>GIT_ACCESS_ALLOWED_FROM_CONFIG_ERROR</base>
    <trans>Erreur de configuration!</trans>
  </entry>

  <entry>
    <base>GIT_PRIVILEGES_NOTE</base>
    <trans><![CDATA[ <p> Utiliser le menu ci-dessous pour configurer les permissions pull et push pour le dépôt Git.<br /> Sélectionner l'un ou l'autre des groupes ou des usagers. Utiliser les touches SHIFT et/ou CTRL pour faire une sélection multiple de groupes ou d'usagers.<br /> Si vous sélectionnez <b>aucun</b> des choix de groupes ou d'usagers, le dépôt sera accessible <b>anonymement</b>! (c.a.d aucun nom d'usagers et mot de passe sera requis).<br /> Si vous spécifier des usagers ou groupes avec la permission pull, les usagers avec la permission push vont avoir aussi la permission pull.<br /> Si vous voulez qu'un usager(s) ou groupe(s) est la pleine exclusivité des permissions pull ou push, les spécifier dans les <b>deux</b> champs pull et push.<br /> Le groupe <b>admin</b> inclus tous les administrateurs et le groupe <b>shared</b> inclus tous les usagers local sur ce système.</p> ]]></trans>
  </entry>
  
  <entry>
    <base>GIT_PRIVILEGES_GROUPS_PULL</base>
    <trans>Groupes avec droit de lecture/pull</trans>
  </entry>

  <entry>
    <base>GIT_PRIVILEGES_GROUPS_PUSH</base>
    <trans>Groupes avec permission écriture/push</trans>
  </entry>

  <entry>
    <base>GIT_PRIVILEGES_USERS_PULL</base>
    <trans>Usagers avec permissions de lecture/pull</trans>
  </entry>
  
  <entry>
    <base>GIT_PRIVILEGES_USERS_PUSH</base>
    <trans>Usagers avec permission d'écriture/push</trans>
  </entry>

  <entry>
	  <base>GIT_USER_ADMINISTRATOR</base>
    <trans>Administrateur</trans>
  </entry>
  
  <entry>
	  <base>GIT_GROUP_ADMINISTRATORS</base>
    <trans>Administrateurs</trans>
  </entry>

  <entry>
	  <base>GIT_GROUP_EVERYBODY</base>
    <trans>Tout le monde</trans>
  </entry>
  
  <entry>
    <base>GIT_NOTIFY_NO_REPOSITORIES</base>
    <trans>Il n'y a pas présentement de dépôt Git configurer</trans>
  </entry>

  <entry>
    <base>GIT_SUCCESS_CONFIG_CHANGE</base>
    <trans>Git a été reconfiguré avec succès</trans>
  </entry>
  
  <entry>
    <base>GIT_SUCCESS_CREATED_REPOSITORY</base>
    <trans>Le dépôt Git a été créé avec succès</trans>
  </entry>

  <entry>
    <base>GIT_SUCCESS_MODIFIED_REPOSITORY</base>
    <trans>Le dépôt Git a été modifié avec succès</trans>
  </entry>

  <entry>
    <base>GIT_SUCCESS_DELETED_REPOSITORY</base>
    <trans>Le dépôt Git a été effacé avec succès</trans>
  </entry>
  
  <entry>
    <base>GIT_ERROR_CONFIG_CHANGE</base>
    <trans>Une erreur est survenue durant la configuration de Git.</trans>
  </entry>

  <entry>
    <base>GIT_ERROR_CREATING_REPOSITORY</base>
    <trans>Il y a eu une erreur interne durant la création du dépôt Git</trans>
  </entry>

  <entry>
    <base>GIT_ERROR_CANT_FIND_REPOSITORY</base>
    <trans>Ne peut trouver le dépôt "{$name}"(il a été créé?)</trans>
  </entry>
  
  <entry>
    <base>GIT_ERROR_CANT_CREATE_REPOSITORY</base>
    <trans>Ne peut créé le dépôt "{$name}" ( Il a déjà été créé?) </trans>
  </entry>
  
  <entry>
    <base>GIT_ERROR_MODIFYING_REPOSITORY</base>
    <trans>Une erreur est survenue durant la modification du dépôt Git</trans>
  </entry>
  
  <entry>
    <base>GIT_ERROR_DELETING_REPOSITORY</base>
    <trans>Une erreur est survenue durant l'effacement du dépôt Git. Le répertoire du dépôt peut ne pas être effacer complètement.</trans>
  </entry>
  
  <entry>
    <base>GIT_ERROR_NAME_HAS_INVALID_CHARS</base>
    <trans>Le nom du dépôt Git "{$repositoryName}" contient des caractères invalides. Les noms de dépôt doivent commencer par une lettre minuscule et doit contenir seulement des lettres minuscules, des nombres, des tirets bas et traits d'union.</trans>
  </entry>

  <entry>
    <base>GIT_ERROR_DESCRIPTION_HAS_INVALID_CHARS</base>
    <trans>La description du dépôt Git  "{$repositoryDescription}" contient des caractères invalides. La description du dépôt ne doit contenir seulement que des lettres minuscules et majuscules, des nombres, tiret bas et trait d'union.</trans>
  </entry>

  <entry>
    <base>GIT_ERRROR_NAME_TOO_LONG</base>
    <trans>Le nom du dépôt Git  "{$repositoryName}" est trop long. Le maximum est de {$maxRepositoryNameLength} caractères.</trans>
  </entry>

  <entry>
    <base>GIT_ERROR_RADIO_VALUE_NOT_CHECKED</base>
    <trans>Faire un choix</trans>
  </entry>

  <entry>
    <base>GIT_ERROR_ALREADY_EXISTS</base>
    <trans>Le dépôt  "{$repositoryName}"  est un dépôt Git existant. Il n'y a pas de dépôt créer. Utiliser le lien  'Modify'  ci-dessous pour reconfigurer le dépôt existant.</trans>
  </entry>

</lexicon>
