triskele/documentation/GitInfos.org
2018-08-27 15:13:11 +02:00

88 lines
2.8 KiB
Org Mode

* Git de Triskele
Note aux développeurs
** La TODO list
- vérifier production windows
- refaire le tableau des exemples de traces (./result/BuildSteps.ods)
- vérifier min et max apla tos
- faire un omega-tree
- faire des tests de perf pour algo parallèle
** Fonctions intégré depuis la dernière version
*** depuis version 1.0
- copie des valeurs de géolocalisation (de input vers output)
- vérification des coupures (avec sens de la monotonie)
- coupures suivant (A>, W<>, SD>, MOI>)
- tride W thresholds
- features-profiles (L, mean, SD, A, MOI)
- correction de la monotonie des ToS
** Infos concernant le pattern de git de Triskele
Triskele suit partiellement le [[https://nvie.com/posts/a-successful-git-branching-model/][modèle gitflow]] pour son développement en conservant certaines branches :
- la master qui contient les versions stables du logiciel
- la develop qui découle de la master sur laquelle on corrige les bugs / on crée de nouvelles features
- les features, ajoutant une ou plusieurs fonctionnalités et qui découlent chacune de dévelop
** Commandes utiles
- récupération du git
$ git clone git://git.renater.fr/triskele.git
- Se déplacer sur une branche
$ git checkout nomDeBranche
- Créer une branche locale et s'y placer de suite
$ git checkout -b nomDeBranche nomDeBrancheParent
# Exemple, création d'une feature pour les oméga-tree
$ git checkout -b omega_feature develop
- Synchroniser la branche créée avec le dépot distant
$ git push orgin nomDeBranche
# Exemple avec la feature ci-dessus
$ git push origin omega_feature
- Annuler les modifications effectuées depuis la dernière synchronisation
$ git checkout -- [nomDuFichier]
- Afficher toutes les branches existantes (locales ou distantes)
$ git branch -a
- Supprimer une branche sur un dépot local / sur un dépot distant
# Pour une branche locale
$ git branch -d nomDeBranche
# Pour la supprimer sur le dépot distant
$ git push origin --delete nomDeBranch
- Fusionner les modifications
# Il faut synchroniser la branche développement
$ git pull
$ git commit -a
$ git push
# Il faut sélectionner la branche master
$ git checkout master
# Il faut fusionner
$ git merge develop
# editer les fichiers en confli
$ git commit -a
$ git push
# Puis mettre à jour la branch develop si conflit
$ git checkout develop
$ git merge master
# Il est possible d'annuler le traitement en cas de conflit
$ git merge --abort
- Abandonner les modifications locales
# Repart de la version du serveur en plus rapide (et garde les fichiers hors projet)
$ git reset --hard origin/master
- Etiquetage de version
# Choisir la branch master
git checkout master
# Donner un nom majeru.mineur.AAMMJJ
git tag 1.0.180610
# valider sur le serveur
git push --tags