Parcourir la source

correction serveurs publics gogs

Julien Dehos il y a 8 ans
Parent
commit
b095be2a99
3 fichiers modifiés avec 4 ajouts et 5 suppressions
  1. 2 1
      depot_distant.md
  2. 1 2
      forks.md
  3. 1 2
      index.md

+ 2 - 1
depot_distant.md

@@ -13,7 +13,8 @@ commit du serveur.
 
 Il existe des serveurs comme Github qui permettent d'héberger
 gratuitement des dépôts publics (visibles par tout le monde).
-Le serveur Gogs de l'université vous permet d'héberger des dépôts publics ou privés.
+Le serveur Gogs de l'université vous permet d'héberger des dépôts publics mais
+également des dépôts privés.
 Il dispose d'une page web vous permettant de gérer vos projets. Pour cela,
 allez à l'adresse
 [https://gogs.univ-littoral.fr](https://gogs.univ-littoral.fr) et entrez vos

+ 1 - 2
forks.md

@@ -13,8 +13,7 @@ choisira ou non de les intégrer dans le dépôt initial (`upstream`).
 
 Le fork est un mode de fonctionnement très répandu dans le monde de
 l'open-source (Github entre autres).  Le serveur Gogs de l'université possède
-également une partie publique propice aux forks (cette partie publique est
-cependant réservée aux personnes identifiées à l'université).
+également une partie publique propice aux forks.
 
 Remarque : pour les intervenants réguliers et de confiance, il est plus simple
 de les autoriser à modifier directement le dépôt principal, en les ajoutant

+ 1 - 2
index.md

@@ -36,8 +36,7 @@ en parallèle »
   communs ; les modifications de chacun sont retransmises aux autres ; les
 éventuels conflits sont détectés ».
 - **projets publics ou privés** : « je peux créer des projets publics, visibles
-  par tout le monde (ou uniquement par les personnes identifiées à
-l'université), et des projets privés, visibles et modifiables par les personnes
+  par tout le monde, et des projets privés, visibles et modifiables par les personnes
 que j'indique ».
 
 ## Dans quels cas ne pas utiliser Git/Gogs ?