Commandes push and pull

diff --git a/GIT_commands.txt b/GIT_commands.txt
new file mode 100644 (file)
index 0000000..fb56cb6
--- /dev/null
+++ b/GIT_commands.txt
@@ -0,0 +1,32 @@
+_________________________________________________________________________________________________
+
+Ce document liste les commandes à entrer dans l'interface GIT afin de Push ou de Pull un dossier.
+
+_________________________________________________________________________________________________
+
+
+Pull 
+----
+
+1- git -c http.sslVerify=false clone https://git.forge.pleiade.edf.fr/git/eficas.git                   # Cette commande se connecte au serveur GIT puis clone le répertoire DER sur notre ordinateur
+
+2- cd eficas                                                                                           # Cette commande permet de se place dans le dossier eficas
+               
+3- Supprimer manuellement le fichier Efi2Xsd/README.txt
+
+4- git checkout DER                                                                                    # Cette commande nous place sur la branche dédiée au DER
+
+
+
+Push 
+----
+
+1- git add nom_du_fichier
+
+2- git commit -m 'Commentaires'
+
+3- git config --global http.sslVerify false                                                            # Cette commande nous donne les droits pour push nos modifications sur la branche dédiée
+
+4- git push
+
+5- Renseigner ces identifiants SESAME
\ No newline at end of file