* 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