Utiliser git¶
Pour proposer une correction sur un problème particulier ou un ajout de fonctionnalité, vous devez vous créer un dépot sur github (https://github.com) en clonant le dépot tbelliard/gepi.git, cloner ce dépot en local, créer une branche, effectuer vos corrections, pousser cette branche sur votre dépot, annoncer sur la liste de diffusion votre correction
Étape 1 créer son espace de travail¶
Les développeurs ne travaillent pas sur le dépot officiel (git://github.com/tbelliard/gepi.git) mais sur une copie personnelle de ce dépot. Si la correction ou la nouvelle fonctionnalité satisfait la dream team (développeurs historiques qui gérent le dépot officiel), ils l'intégrent sur le dépot officiel.
Étape 1.1 créer un compte github¶
Créer un compte sur https://github.com
Créer un couple de clés SSH sur votre ordinateur (voir http://www.linux-france.org/prj/edu/archinet/systeme/ch13s03.html ou https://docs.microsoft.com/fr-fr/azure/virtual-machines/linux/ssh-from-windows)
Ajouter la clé publique dans votre compte github (https://github.com/settings/ssh)
Étape 1.2 créer des copies de travail¶
Aller sur le dépot officiel (https://github.com/tbelliard/gepi/) et créer une copie (Fork)
Sur votre ordinateur, mettez en place un dépot git local à partir de votre dépot (https://github.com/Regis85/gepi pour moi)
mkdir ~/git_gepi
cd ~/git_gepi
git clone git@github.com:Regis85/gepi.git
À partir de là, vous pouvez utiliser Gitk et Git Gui ou le terminal pour récupérer les branches de votre dépot.
Pour pouvoir également mettre à jour votre dépot local à partir du dépot officiel, vous devez ajouter celui-ci comme dépot de référence
cd ~/git_gepi/gepi
git remote
→ origin
git remote add Officiel https://github.com/tbelliard/gepi.git
git remote -v
→ Officiel https://github.com/tbelliard/gepi.git (fetch)
→ Officiel https://github.com/tbelliard/gepi.git (push)
→ origin git@github.com:Regis85/gepi.git (fetch)
→ origin git@github.com:Regis85/gepi.git (push)
Vous pouvez ajouter d'autres dépôts que vous souhaitez suivre.
Les étapes suivantes sont l'illustration de mes habitudes, ce n'est pas la seule façon de faire et sûrement pas la meilleure mais elle me convient
Étape 2 mettre à jour son dépôt¶
avec git gui¶
Lancer git gui → Dépôt distant → Récupérer de → All (ou un des dépôts que vous suivez)
Branche → Créer → Branche de suivi
(ou)
Branche → Charger
(puis)
Fusionner → Fusion locale → Branche de suivi → choisir la branche
Choisir au besoin une autre branche locale et la fusionner à celle du dépôt officiel
dans un terminal¶
Se placer dans le répertoire et vérifier les dépôts
cd git_gepi/gepi
:~/git_gepi/gepi$ git remote
→ Officiel
→ origin
Récupèrer toutes les données du dépôt
git_gepi/gepi$ git fetch Officiel
→ remote: Counting objects: 86, done.
→ remote: Compressing objects: 100% (23/23), done.
→ remote: Total 51 (delta 39), reused 40 (delta 28)
→ Unpacking objects: 100% (51/51), done.
~/git_gepi/gepi$ git branch
→ * master
Créer des branches au besoin
git_gepi/gepi$ git checkout -b release-1.6.3 origin/release-1.6.3
→ Branch release-1.6.3 set up to track remote branch release-1.6.3 from origin.
→ Switched to a new branch 'release-1.6.3'
git_gepi/gepi$ git branch
→ master
→ * release-1.6.3
ou se placer sur la branche à utiliser
git_gepi/gepi$ git checkout release-1.6.3
→ Switched to branch 'release-1.6.3'
git_gepi/gepi$ git branch
→ master
→ * release-1.6.3
Mettre à jour deouis le dépôt officiel
git_gepi/gepi$ git merge Officiel/release-1.6.3
→ Updating 66aeffc..a7f8305
→ Fast-forward
→ gestion/droits_acces.php | 4
→ lib/share.inc.php | 115
→ mod_abs2/export_stat.php | 3
→ prepa_conseil/index1.php | 64
→ 4 files changed, 130 insertions(+), 56 deletions(-)
git_gepi/gepi$ git status
→ # On branch release-1.6.3
→ # Your branch is ahead of 'origin/release-1.6.3' by 11 commits.
→ # (use "git push" to publish your local commits)
→ #
→ nothing to commit, working directory clean
autre méthode pour mettre à jour une branche
git_gepi/gepi$ git checkout release-1.6.3
→ Switched to branch 'release-1.6.3'
regis@regis-disque:~/git_gepi/gepi$ git status
→ # On branch release-1.6.3
→ nothing to commit, working directory clean
regis@regis-disque:~/git_gepi/gepi$ git pull Officiel release-1.6.3
→ From https://github.com/tbelliard/gepi
→ * branch release-1.6.3 -> FETCH_HEAD
→ Already up-to-date.
Après la mise à jour le dépôt personnel sur github n'est plus à jour.
Pour le mettre à jour
git_gepi/gepi$ git push
→ Counting objects: 81, done.
→ Delta compression using up to 2 threads.
→ Compressing objects: 100% (48/48), done.
→ Writing objects: 100% (48/48), 10.61 KiB, done.
→ Total 48 (delta 36), reused 0 (delta 0)
→ To git@github.com:Regis85/gepi.git
→ 66aeffc..a7f8305 release-1.6.3 -> release-1.6.3
git_gepi/gepi$ git status
→ # On branch release-1.6.3
→ nothing to commit, working directory clean
...
Utiliser git en ligne de commande¶
Mettre en place un dépot git local à partir du dépot officiel :
mkdir ~/git_gepi
cd ~/git_gepi
git clone git://github.com/tbelliard/gepi.git
En vrac...¶
En vrac, j'avais noté:
git checkout developpement : va te sortir la branche développement dans le répertoire de travail.
git checkout production : va te sortir la branche production dans le répertoire de travail.
git status : permet de savoir quelle branche est chargée dans le répertore de travail.
git commit -m "MESSAGE" chemin/fichier : va commiter en local dans la branche du répertoire de travail...
git push origin production : va envoyer les fichiers commités en local vers le dépot github
git diff developpement joss/developpement : affiche un diff des branches indiquées
git log --name-only joss/developpement : affiche un log des commits avec les fichiers concernés
git fetch all
Ajouter le dépôt de Josselin, afficher dans le dossier courant la branche developpement, récupérer les dernières modifications sur le dépot de Josselin, prendre en compte dans le dépot local les modification commitées par Josselin sur son dépôt :
git remote add joss git@github.com:kigeia/gepi
git checkout developpement
git fetch joss
git merge joss/developpement
git branch -a : lister les branches
git reset --hard [sha_du_commit_avant_merge]
git reset --hard HEAD : Annuler les changements non commités. Reset de la copie de travail. Retour à la version la plus récente de la branche courante.
HEAD est un pointeur vers la branche courante, à son niveau de commit le plus récent.
En supposant que tu as poussé tes commit précédent sur origin/master,
le mieux est encore de faire git merge <branche>, puis quand tu as
fini le merge tu fait git diff origin/master. Si ça convient pas tu
fais git reset --hard origin/master; ou git push sinon.
============================================================
Pour annuler un commit particulier, sans perturber ceux effectués entre temps:
12:05 steph@hpcrob ~/gepi_git_officiel/gepi(release-1.6.1) $ git merge marc/no_stack_overflow
Updating e66cd62..d9ef04c
Fast-forward
lib/share.inc.php | 15 +++++++++++--
1 files changed, 13 insertions(+), 2 deletions(-)
12:06 steph@hpcrob ~/gepi_git_officiel/gepi(release-1.6.1) $
git revert d9ef04c58 ============================================================
Updated by Stéphane Boireau about 5 years ago · 13 revisions