Tutoriel GIT Push et Pull

Utiliser la ligne de commande pour PUSH à GitHub

1. Création d'un nouveau référentiel

• Vous devez créer un nouveau dépôt et cliquer sur le signe plus.
• Remplissez tous les détails requis, c'est-à-dire le nom du dépôt, la description et rendez le dépôt public cette fois-ci puisqu'il est gratuit.

2. Ouvrez votre Git Bash

• Git Bash peut être téléchargé ici, et c'est un shell utilisé pour interfacer avec le système d'exploitation qui suit les commandes UNIX.

3. Créez votre projet local dans votre bureau dirigé vers un répertoire de travail courant

• pwd est l'abréviation de "print working directory", qui permet d'afficher le répertoire en cours.
• Déplacez-vous vers le chemin d'accès spécifique dans votre ordinateur local en cd 'path_name'. La commande cd signifie "changer de répertoire" et est utilisée pour passer au répertoire de travail de votre système d'exploitation et pour localiser votre fichier, 'path_name', c'est-à-dire que C:/Users/Dell/Downloads/FaceDetect-master doit être indiqué. Cette commande permet d'identifier le fichier requis avec lequel vous souhaitez travailler.

4. Initialiser le dépôt git

• Utilisez git init pour initialiser le référentiel. Il est utilisé pour créer un nouveau dépôt vide ou un répertoire composé de fichiers' avec le répertoire caché. '.git' est créé au niveau supérieur de votre projet, ce qui place toutes les informations de révision en un seul endroit.

5. Ajouter le fichier au nouveau dépôt local

• Utilisez git add . dans votre bash pour ajouter tous les fichiers au dossier donné.
• Utilisez git status dans votre bash pour voir tous les fichiers qui vont être mis à disposition lors du premier commit.

6. Livrez les fichiers mis à disposition dans votre dépôt local en écrivant un message de livraison (commit).

• Vous pouvez créer un message de validation à l'adresse git commit -m 'your message', qui ajoute la modification au dépôt local.
• git commit utilise '-m' comme drapeau pour un message pour définir les commits avec le contenu où la description complète est incluse, et un message est écrit dans une phrase impérative jusqu'à 50 caractères de long et définissant "ce qui a été changé", et "pourquoi le changement a été fait".

7. Copiez l'URL de votre dépôt distant depuis GitHub

• Le HTTPS ou l'URL est copié à partir du compte GitHub donné, qui est l'emplacement du dépôt distant.

8. Ajoutez l'URL copiée, qui est votre référentiel distant vers lequel le contenu local de votre référentiel est poussé.

• git remote add origin 'your_url_name'
• Dans le code ci-dessus, l'origine est le nom du site distant et l'URL du site distant est"https://github.com/Olivia-Smithcoder100/FaceDetection.git". Dans ce cas, vous pouvez voir que le dépôt distant est GitHub, et que GitHub fournit l'URL à ajouter au dépôt distant.

9. Poussez le code de votre dépôt local sur GitHub

• git push -u origin master est utilisé pour pousser le contenu local vers GitHub.
• Dans le code, l'origine est le nom de votre dépôt distant par défaut et le drapeau '-u' est upstream, ce qui est équivalent à '-set-upstream.' et le master est la branche, name.upstream est le dépôt dans lequel nous avons cloné le projet.
• Indiquez votre nom d'utilisateur et votre mot de passe GitHub.

10. Visualisez vos fichiers dans votre dépôt hébergé sur GitHub

• Vous pouvez enfin voir le fichier hébergé sur GitHub.

Utiliser GitHub Desktop pour pousser votre contenu local vers GitHub.

GitHub Desktop est disponible au téléchargement pour tout système d'exploitation, et offre une plateforme GUI (Graphical User Interface) pour pousser votre contenu local depuis votre dépôt local vers un dépôt distant comme GitHub.

Vous devez ouvrir votre compte GitHub dans votre navigateur et le processus de création d'un nouveau dépôt, c'est-à-dire l'étape 1, est le même que celui mentionné ci-dessus dans "Utilisation de la ligne de commande pour PUSH à GitHub".

1. Cliquez sur "Set up in a Desktop"

• Vous devez cliquer sur le bouton, comme indiqué ci-dessous, où une fenêtre pop-up apparaît, et vous cliquez sur "Open GitHub desktop".

2. Clonage dans un bureau GitHub

• Vous pouvez cliquer sur le bouton "Cloner", comme indiqué ci-dessous.

Après avoir cloné un nouveau clone, le dossier est créé dans votre ordinateur local où un répertoire caché ".git" est également présent.

3. Copiez tous les fichiers nécessaires de votre ordinateur local dans le dossier clone de votre ordinateur.

• Vous devez copier tous les fichiers nécessaires, les images, les fichiers README, etc. dans le dossier clone.

4. Déplacer vers GitHub Desktop et commiter vers master

• Vous pouvez voir que les fichiers ajoutés dans le dossier clone sont également visibles dans le bureau GitHub. Enfin, rédigez votre message et appuyez sur "Commit to master".

5. Publier une branche dans GitHub Desktop pour télécharger tous vos fichiers sur GitHub

• Vous pouvez cliquer sur "Publier la branche" pour publier votre contenu local sur GitHub.

Vous pouvez visualiser votre dépôt sur GitHub après avoir effectué toutes les étapes.

Demande de PULL

Si vous effectuez une modification dans un dépôt, GIT PULL peut permettre à d'autres personnes de voir les modifications. Il est utilisé pour reconnaître la modification que vous avez apportée au référentiel sur lequel vous travaillez. Ou également appelé référentiel cible.

La commande simple pour tirer sur une branche est la suivante :

git pull 'remote_name' 'branch_name'.

La commande git pull est une combinaison de git fetch qui récupère les modifications récentes dans le dépôt local et git merge, qui fusionne la branche d'un dépôt distant vers une branche locale. 'remote_name' est le nom du dépôt et 'branch_name' est le nom de la branche spécifique.

Vous verrez deux façons différentes d'utiliser la requête PULL.

Demande de PULL par ligne de commande

Vous pouvez consulter le fichier README ci-dessous qui contient une coquille. Le fichier README contient le mot "contain" mal orthographié en "containnns". Le propriétaire de ce dépôt est MNALO, et Olivia est le collaborateur. Elle résoudra l'erreur et soumettra une demande de PULL Vous verrez le processus de demande de PULL à travers un exemple particulier donné ci-dessous.

Dans le fichier ci-dessus, vous pouvez voir une faute de frappe dans le mot "containnns".

1. Créer un référentiel (Fork)

• "Le "Fork" est une copie d'un dépôt. Le forçage d'un dépôt vous permet d'expérimenter librement des changements sans affecter le projet original"(Source)

2. Ouvrez votre bash sur votre ordinateur

• Vous devez vous déplacer vers le chemin ou le dossier requis en utilisant la commande cd, et le contenu peut être visualisé en utilisant la commande ls, qui listera tous les fichiers présents dans le répertoire et, dans notre cas, vous pouvez voir que le fichier 'README.md' est présent.

3. Créer une nouvelle branche

• Vous pouvez créer une nouvelle branche en utilisant git checkout -b 'branch_name'. Dans le code ci-dessus, le drapeau '-b' est utilisé pour créer une nouvelle branche, et 'branch_name' est utilisé pour donner un nom spécifique à la branche, et avec le checkout, la branche est basculée vers la branche nouvellement créée.

4. Effectuez une modification en utilisant vim à partir de bash ou en remplaçant directement le fichier README d'origine.

• Vous pouvez remplacer le mot "containnns" par "contains" dans le fichier README, et les modifications ainsi que l'état actuel peuvent être visualisés à l'aide de la commande suivante.

5. Ajout et validation d'un fichier dans le référentiel

• Vous devez ajouter et valider les commandes suivantes.

6. Poussez le dépôt sur GitHub

• Vous devez pousser le contenu en git push origin 'branch_name'
• Dans le code ci-dessus, l'origine est le référentiel distant, et 'nom_branche' est la branche requise pour télécharger votre contenu local.

7. Demande de PULL pour une branche spécifique sur GitHub

• Vous pouvez vous rendre sur votre dépôt dans GitHub et voir qu'il y a une nouvelle branche.
• Vous pouvez maintenant passer à l'étape 8, mais il est nécessaire de mettre à jour le dépôt local avec le dépôt amont, lisez ce blog détaillé sur Comment créer une Pull Request sur GitHub.
• Alternativement, vous pouvez faire git pull-request en ligne de commande et compléter la demande PULL à GitHub, où il poussera votre branche actuelle vers un dépôt distant.

8. Ouvrez une demande de Pull

• Vous devez cliquer sur le bouton "Create pull request," pour terminer l'action.

Suppression d'une branche après la fusion de la demande PULL

• Vous devez vous rendre sur la page principale du dépôt et cliquer sur "Pull requests".

• Vous devez cliquer sur "Fermé" pour voir les listes de toutes les demandes de PULL que vous avez faites, mais il n'y en a qu'une seule pour l'instant qui doit être sélectionnée. C'est celui qui concerne votre branche que vous voulez supprimer.

• Vous pouvez maintenant cliquer sur "Supprimer la branche" pour terminer l'action.

Le propriétaire du dépôt peut voir tous les commits, les pull requests, etc. réalisés par les collaborateurs et d'autres personnes. Les modifications apportées par quelqu'un peuvent être importantes, des corrections rapides pour un bogue, des erreurs, etc. et sont ajoutées au projet.

Le propriétaire clique maintenant sur "Merge pull request". Il doit également cliquer sur "Confirmer la fusion" au cours de la procédure suivante.

La dernière modification apportée au fichier README.md avec la correction d'une coquille se trouve ci-dessous.

Demande de PULL via GitHub Desktop

Le fichier "imp" contient une faute de frappe où MNALO est le propriétaire et Olivia le collaborateur. Suivez le processus suivant pour créer une requête PULL depuis GitHub Desktop.

1. Clonage et ouverture sur le bureau

• Un projet est cloné et cliquez sur "Ouvrir sur le bureau".

2. Créer une nouvelle branche

• Une nouvelle branche, "fix-typo-imp" est créée.

3. Modifiez le fichier imp à partir de l'éditeur de texte

• Vous pouvez modifier le contenu du fichier imp, corriger une faute de frappe et ajouter du texte.

4. Valider les modifications

• Un message de validation est rédigé et le bouton "Commit to fix-typo-imp" est cliqué.

5. Publier la branche

• Vous pouvez maintenant publier la branche, ce qui pousse le commit sur GitHub.

6. Créer une demande de PULL

• Vous pouvez maintenant faire une demande PULL en cliquant sur "Create pull request".
• Vous pouvez également écrire un message et cliquer à nouveau sur "Create pull request".

La procédure est ensuite la même que celle décrite ci-dessus dans la section "Requête PULL via la ligne de commande".

Conclusion

Dans ce tutoriel, vous avez appris les requêtes PUSH et PULL ainsi que les différentes manières de les effectuer via la ligne de commande et les applications de bureau GitHub.

Si vous souhaitez acquérir plus de compétences en science des données, suivez les cours d'introduction de DataCamp :

• Introduction à R
• Introduction à la science des données en Python