maj du fichier compte rendu

qualdev/compte_rendu.txt

@@ -12,4 +12,15 @@
 
 - Comment vérifier que le commit a bien été effectué et que le dépôt local est bien à jour ? : git log
 
+- Lier votre dépôt local à ce dépôt distant. : git remote rename origin old-origin
+git remote add origin https://gitlab.univ-lorraine.fr/e79583u/typescript_barre_milo.git
+git push --set-upstream origin --all
+git push --set-upstream origin --tags
+
+- Comment vérifier que le dépôt local est bien lié au dépôt distant ? : Sur Gitlab, verifier que les dossiers présents sur l'ordinateurs sont les memes.
+
+- Mettre à jour le dépôt distant avec les modifications locales : git push
+
+- Comment vérifier que le dépôt distant et le dépôt local sont synchronisés ? : gitlog, il nous affiche bien que les deux sont synchronisés grace au nom d'utilisateur et a l'adresse mail
+
 glpat-eJbQS_QCTecmKWsJe4Ko