images depot distant

index.md

@@ -396,20 +396,39 @@ TODO
 
 ## Dépôt distant (sauvegarder un projet sur un serveur)
 
-TODO
+Git permet de synchroniser un dépôt local avec un dépôt distant (sur un
+serveur).  Il existe des serveurs comme github qui permettent d'héberger
+gratuitement des dépôts publics (visibles par tout le monde).
 
-gogs
+Le serveur gogs du SCOSI vous permet d'héberger des dépôts publics ou 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
+identifiants du portail ULCO :
 
 ![](depot_distant_01.png)
 
+Une fois identifié, le site vous affiche une page d'accueil (derniers commits,
+dépôts actifs...) :
+
 ![](depot_distant_02.png)
 
 ### Créer un dépôt sur un serveur git
 
+Pour créer un nouveau dépôt distant, allez sur la page du serveur gogs et
+cliquez "New Repository".
+
 ![](depot_distant_03.png)
 
+Entrez le nom du dépôt distant à créer (évitez les espaces), puis cliquez
+"Create Repository".
+
 ![](depot_distant_04.png)
 
+Le dépôt distant est alors créé et une page vous indique comment le récupérer
+localement. Attention, il y a une méthode plus simple que celle indiquée (cf
+section suivante).
+
 ![](depot_distant_05.png)
 
 ### Créer un dépôt local à partir d'un dépôt distant
@@ -432,6 +451,14 @@ gogs
 
 ![](depot_distant_11.png)
 
+### Résoudre des conflits
+
+![](depot_distant_12.png)
+
+![](depot_distant_13.png)
+
+![](depot_distant_14.png)
+
 ### Résumé et méthode de travail
 
 Résumé des commandes git précédentes :